Assertion: graph's g | /r/HasAspect | − 1 edges
Facets:
Source sentences:
text: G is connected and has n − 1 edges.
text: G has no simple cycles and has n − 1 edges.