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

syntactic first-order unification problem מתח
.תִכנו	задача синтаксической унификации первого порядка (Alex_Odeychuk)