Assertion: graph's g | /r/HasProperty | universal covering graph of g.
Facets:
Source sentences:
text: If G is a tree, then G itself is the universal covering graph of G.