Assertion: tree | /r/HasProperty | rebalanced
Facets:
Source sentences:
text: If a new node was added then the tree might need to be rebalanced, as described below.
text: As this violates property 5 (all paths from any given node to its leaf nodes contain the same number of black nodes), the tree must be rebalanced.