Assertion: new tree | /r/HasProperty | rearranged
Facets:
Source sentences:
text: When the tree is modified, the new tree is rearranged and repainted to restore the coloring properties that constrain how unbalanced the tree can become in the worst case.