אנגלית ⇄ רוסית +

simpagation rule מתח
.בינה	правило упрощения и распространения (в логическом программировании в ограничениях Alex_Odeychuk)