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

unification modulo theory מתח
.תִכנו	семантическая унификация (Alex_Odeychuk)