Assertion: icosahedron | /r/HasProperty | the pentagonal antiprism
Facets:
Source sentences:
text: Other Johnson solids can be formed by cutting off multiple pentagonal pyramids from an icosahedron: the pentagonal antiprism and metabidiminished icosahedron (two pyramids removed), and the tridiminished icosahedron (three pyramids removed).