Assertion list
ball (primary) → IsA
Results from Ascent++: 4
ball → IsA → sphere 0.39
ball → IsA → game 0.37
ball → IsA → object 0.37
ball → IsA → geodesic sphere 0.36