Assertion: tree's child | /r/HasProperty | selected as new subtree root
Facets:
value: with probability
type: OTHER
Source sentences:
text: If the left or right subtree of the node to be deleted is empty, the join operation is trivial; otherwise, the left or right child of the deleted node is selected as the new subtree root with probability proportional to its number of descendants, and the join proceeds recursively.