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

multivalued predicate calculus מתח
.מָתֵי	многозначное исчисление предикатов