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