Assertion: tree's vertex | /r/HasProperty | terminal
Facets:
Source sentences:
text: Every finite tree with n vertices, with n > 1 , has at least two terminal vertices (leaves).