Assertion list
helicopter (primary) → IsA
Results from Ascent++: 1
helicopter → IsA → aircraft 0.43