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

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