Assertion list
prism (primary) → IsA
Results from Ascent++: 2
prism → IsA → polyhedron 0.60
prism → IsA → device 0.39