Assertion: graph | /r/HasProperty | least 3
Facets:
Source sentences:
text: Theorem: Let G be a graph of order at least 3.