Assertion: tree's node | /r/HasAspect | black children
Facets:
Source sentences:
text: The resulting tree satisfies property 4 (a red node has black children).
text: Property 4 (red nodes have only black children) is threatened only by adding a red node, repainting a node from black to red, or a rotation.