Assertion: graph's g | /r/HasProperty | connected a minor of g
Facets:
Source sentences:
text: G is connected and the 3-vertex complete graph K 3 is not a minor of G .