Assertion list
blimp (primary) → IsA
Results from Ascent++: 2
blimp → IsA → airship 0.42
blimp → IsA → non-rigid airship 0.31