英语 ⇄ 俄语 +

quantifier-elimination procedure 强调
人工智能	процедура элиминации кванторов (Microsoft Alex_Odeychuk)