semiquantifications