Assertion list
tetrahedron (primary) → IsA
Results from Ascent++: 1
tetrahedron → IsA → polyhedron 0.64