Assertion: tree's node | /r/HasProperty | right child of its parent
Facets:
Source sentences:
text: if the node is the right child of its parent, then it must be larger than the parent and it must pass down the value from its parent to its left subtree to make sure none of the nodes in that subtree is lesser than the parent.