Assertion list
asteroid (primary) → IsA

Results from Ascent++: 4
asteroidIsA object 0.36
asteroidIsA two objects 0.34
asteroidIsA same object 0.32
asteroidIsA the smallest object 0.25