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

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