Assertion: tree's element | /r/HasProperty | deleted with new separator
Facets:
Source sentences:
text: Choose a new separator (either the largest element in the left subtree or the smallest element in the right subtree), remove it from the leaf node it is in, and replace the element to be deleted with the new separator.