Assertion: graph's cover | /r/HasProperty | compact
Facets:
Source sentences:
text: If a graph G is connected and locally finite, then it has a compact cover in which the set