Assertion: node's input | /r/HasProperty | sorted
Facets:
Source sentences:
text: When the input is sorted, all insertions are at the rightmost edge of the tree, and in particular any time a node is split, we are guaranteed that the no more insertions will take place in the left half.