Assertion: arc consistency | /r/HasProperty | extended to that variable
Facets:
value: always
type: TEMPORAL
value: in such a way
type: MANNER
Source sentences:
text: Relational arc consistency: if an evaluation on the variables of a constraint but one is consistent, it can always be extended to that variable in such a way the constraint is satisfied.