Assertion list
cruise missile (primary) → IsA
Results from Ascent++: 2
cruise missile → IsA → guided missile 0.50
cruise missile → IsA → smart missiles 0.34