Assertion: graph's set | /r/HasProperty | one vertices
Facets:
Source sentences:
text: Otherwise, let L denote the set of degree-one vertices in the tree (usually called leaves, although Slater uses that word differently).
text: A directed graph or diagraph D consists of a set of elements, called vertices, and a list of ordered pairs of these elements, called arcs.