Assertion: node consistency | /r/CapableOf | restrict the domain
Facets:
value: to 2
type: OTHER
Source sentences:
text: V ≤ 3 {\displaystyle V\leq 3} , node consistency would restrict the domain to { 1 , 2 , 3 } {\displaystyle \left\{1,2,3\right\}} and the constraint could then be discarded.