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

implicational quantifier מתח
.מָתֵי	импликационный квантор; импликативный квантор (ssn)