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

quantificational logic מתח
.מָתֵי	логика предикатов
.תִכנו	предикатная логика (ssn)
אנגלית אוצר מילים
quantificational logic
.נוֹטָ	predicate logic (ssn)