Assertion: arc consistency | /r/CapableOf | guarantee for example
Facets:
Source sentences:
text: For example, arc consistency guarantees that every consistent evaluation of a variable can be consistently extended to another variable.