Assertion: tree's leaf | /r/HasProperty | constant
Facets:
value: by property
type: OTHER
Source sentences:
text: The black height of a red–black tree is the number of black nodes in any path from the root to the leaves, which, by property 5, is constant (alternatively, it could be defined as the black depth of any leaf node).