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