Assertion: node | /r/HasProperty | split
Facets:
Source sentences:
text: The factor of 2 will guarantee that nodes can be split or combined.
text: When a node is split, one element moves to the parent, but one element is added.
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.