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

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