Assertion: tree's property | /r/HasProperty | preserved
Facets:
Source sentences:
text: We removed one black node from every path, and the new root is black, so the properties are preserved.