Assertion: tree | /r/HasProperty | finite
Facets:
Source sentences:
text: All trees we consider are finite.