Assertion: graph's cover | /r/HasProperty | a set of vertices
Facets:
Source sentences:
text: A vertex cover in a graph is a set of vertices that touches every edge in the graph.