אנגלית ⇄ רוסית +

quantifier instantiation procedure מתח
.בינה	процедура инстанцирования квантора (Microsoft Alex_Odeychuk)