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

universal path quantifiers מתח
.תִכנו	универсальные кванторы пути (ssn)