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

extended prepositional calculus מתח
.ביולו	расширенное пропозициональное исчисление