Assertion: tree's leaf | /r/HasAspect | same number of black nodes
Facets:
Source sentences:
text: The red-black tree tracks every simple path from a node to a descendant leaf that has the same number of black nodes.