Assertion: tree's property | /r/HasProperty | black
Facets:
Source sentences:
text: The subtree still has the same color at its root, so Properties 4 (Both children of every red node are black) and 5 (All paths from any given node to its leaf nodes contain the same number of black nodes) are not violated.