Assertion: graph's cover | /r/HasProperty | irredundant
Facets:
Source sentences:
text: A vertex cover is minimal, or irredundant, if removing any vertex from it would destroy the covering property.