Assertion: graph's complement | /r/HasProperty | independent set
Facets:
Source sentences:
text: If C is a vertex cover in a graph G, the complement of C must be an independent set, and vice versa.