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

with a forward and backward chaining inference מתח
.בינה	с прямым и обратным логическим выводом (Alex_Odeychuk)