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

evaluation of a qualified expression מתח
.תִכנו	вычисление кванторного выражения (Alex_Odeychuk)