俄语 ⇄ 英语 +

правило упрощения и распространения 强调
人工智能	simpagation rule (в логическом программировании в ограничениях Alex_Odeychuk); propagation rule (в логическом программировании в ограничениях Alex_Odeychuk)