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

numeralwise decidable predicate מתח
.מָתֵי	нумерически разрешимый предикат