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