Assertion: avl tree | /r/HasProperty | colored
Facets:
Source sentences:
text: AVL trees can be colored red-black, thus are a subset of RB trees.