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