Assertion list
right prism (subgroup of prism ) → IsA
Results from Ascent++: 1
right prism → IsA → prism 0.68