Assertion: tree's leaf | /r/HasProperty | represented by actual node objects
Facets:
Source sentences:
text: For convenience, code in this section will assume that null leaves are represented by actual node objects rather than NULL (the code in the Insertion section works with either representation).