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

quantifier-free uninterpreted function מתח
.בינה	бескванторная неинтерпретируемая функция (Alex_Odeychuk)