Assertion: node | /r/HasProperty | possible
Facets:
Source sentences:
text: So, it must be possible to divide the maximum number U−1 of elements into two legal nodes.