Assertion list
cylinder (primary) → IsA
Results from Ascent++: 1
cylinder → IsA → three-dimensional solid 0.33