Assertion list
ballistic missile (primary) → IsA
Results from Ascent++: 2
ballistic missile → IsA → missile 0.50
ballistic missile → IsA → the v-2 rocket 0.25