Assertion: tree's node | /r/HasProperty | the in-order successor
Facets:
Source sentences:
text: First the leftmost node in the right subtree, the in-order successor, is identified.