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

predicate resolution מתח
.תִכנו	резолюция предикатов (Alex_Odeychuk)