Assertion: dodecahedron | /r/HasSubgroup | pentakis dodecahedron
Facets:
Source sentences: