Assertion list
polyhedron (primary) → IsA
Results from Ascent++: 2
polyhedron → IsA → geometric solid 0.53
polyhedron → IsA → solid bounded 0.34