Assertion: tree's node | /r/HasProperty | splayed
Facets:
Source sentences:
text: The node to be deleted is first splayed, i.e. brought to the root of the tree and then deleted.