Assertion list
dodecahedron (primary) → IsA

Results from Ascent++: 1
dodecahedronIsA polyhedron 0.34