Assertion: arc consistency | /r/HasProperty | enforced on constraint
Facets:
Source sentences:
text: This way, once arc-consistency is enforced on a constraint, this constraint is not considered again unless the domain of one of its variables is changed.