Inglés ⇄ Ruso +

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