Assertion: tree's node | /r/HasProperty | property
Facets:
Source sentences:
text: We can insert at most one red node between each to black nodes (property 4).