Assertion list
icosahedron (primary) → IsA
Results from Ascent++: 1
icosahedron → IsA → polyhedron 0.25