Assertion: tree's child | /r/HasProperty | its last child node
Facets:
Source sentences:
text: Similarly, (≻ L⁺ ) ∖ (> H ) assigns each non-leaf node with finitely many children its last child node.