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