Assertion list
rocket (primary) → IsA
Results from Ascent++: 3
rocket → IsA → vehicle 0.40
rocket → IsA → device 0.25
rocket → IsA → machine 0.25