====== Zadání kvantifikátoru ======

parametry, podmínka kvantifikátoru, dílčí kvantifikátory ...