Assertion: tree | /r/CapableOf | violate property
Facets:
Source sentences:
text: (This can only occur when M has two leaf children, because if the red node M had a black non-leaf child on one side but just a leaf child on the other side, then the count of black nodes on both sides would be different, thus the tree would violate property 5.)