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

first-order definable מתח
.מָתֵי	формульный