Englisch ⇄ Russisch +

simpagation rule Betonungen
KI	правило упрощения и распространения (в логическом программировании в ограничениях Alex_Odeychuk)