Assertion: graph's g | /r/HasProperty | nontrivial graph
Facets:
Source sentences:
text: Theorem: Let G be a nontrivial graph.