Assertion: petersen graph | /r/HasProperty | unique 5-cage
Facets:
Source sentences:
text: The Petersen graph is the unique 5-cage (it is the smallest cubic graph of girth 5), the Heawood graph is the unique 6-cage, the McGee graph is the unique 7-cage