Assertion: directional consistency | /r/CapableOf | guarantee satisfiability
Facets:
Source sentences:
text: There are two cases in which this does not happen, and directional consistency guarantees satisfiability if no domain is empty and no constraint is unsatisfiable.