Assertion: tree's node | /r/HasProperty | certain to be
Facets:
Source sentences:
text: The new node N is now certain to be on the "outside" of the subtree under grandparent G (left of left child or right of right child).