Assertion: consistency | /r/HasProperty | checked
Facets:
Source sentences:
text: Consistency of these variables with x k {\displaystyle x_{k}} is checked and possibly enforced by removing satisfying assignments from the constraint among all these