英语 ⇄ 俄语 +

one-way unification 强调
人工智能	односторонняя унификация (it binds variables only on one side of the equation Alex_Odeychuk)