Assertion: tree's child | /r/HasProperty | leaf
Facets:
Source sentences:
text: "An example of a red–black tree" below) can encode the fact that this child is a leaf.