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

unconstrained inference procedure מתח
.בינה	процедура логического вывода без ограничений (Alex_Odeychuk)