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