Assertion: graph's cover | /r/HasProperty | same universal
Facets:
Source sentences:
text: For any k, all k-regular graphs have the same universal cover: the infinite k-regular tree.