Assertion: tree's child | /r/HasProperty | present successor = self
Facets:
Source sentences:
text: If both children are present successor = self .