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

recursively enumerable predicate מתח
.מָתֵי	рекурсивно перечислимый предикат