Англійська ⇄ Російська +

one-way unification наголоси
шт.інтел.	односторонняя унификация (it binds variables only on one side of the equation Alex_Odeychuk)