Перевод с английского на японский: existential quantifier