Assertion list
sphere (primary) → IsA
Results from Ascent++: 2
sphere → IsA → circle 0.40
sphere → IsA → object 0.34