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

predicate inference מתח
.מָתֵי	предикатный вывод