Assertion: tree's node | /r/HasProperty | red
Facets:
Source sentences:
text: Each node is either red or black.
text: If a node is red, then both its children are black.
text: Property 1 (every node is either red or black) and Property 3 (all leaves are black) always holds.
text: The white node in the diagram can be either red or black, but must refer to the same color both before and after the transformation.