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