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

removal of quantifiers מתח
.מָתֵי	вынесение кванторов