Before revision:  We consider all minimum relaxations of a refuted model which restore data-consistency.
After revision:  We consider all minimum relaxations of a refuted model which restores data-consistency.