Assertion: path consistency | /r/HasProperty | generalized to non-binary constraints
Facets:
Source sentences:
text: Arc and path consistency can be generalized to non-binary constraints using tuples of variables instead of a single one or a pair.