Anglais ⇄ Allemand Français Langues chinoises Russe +

existential quantification contraintes
math.	навешивание квантора существования
progr.	использование кванторов существования (ssn); экзистенциальная квантификация (ssn)