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

predicative calculation מתח
.הִגָי	исчисление предикатов