Assertion: tree | /r/HasProperty | allowed
Facets:
Source sentences:
text: Allowing empty trees makes some definitions simpler, some more complicated: a rooted tree must be non-empty, hence if empty trees are allowed the above definition instead becomes "an empty tree or a rooted tree such that ...".