Assertion: node | /r/HasProperty | deleted
Facets:
Source sentences:
text: If toDelete node has only one child the procedure of deletion is identical to deleting a node from a linked list - we just bypass that node being deleted
text: By symmetry, the node being deleted can be swapped with the smallest node is the right subtree.