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

rule for contraction of quantifiers מתח
.מָתֵי	правило сжатия кванторов