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

quantifier-free inference מתח
.מָתֵי	бескванторный вывод