Assertion: tree's node | /r/HasProperty | threatened
Facets:
value: by adding a red node
type: MANNER
Source sentences:
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.