Assertion: arc consistency | /r/HasProperty | enforced
Facets:
Source sentences:
text: More precisely, after arc consistency is enforced, the number of unassigned variables must not exceed the number of values in the union of their domains.