Assertion list
ballistic missile (primary) → HasA
Results from Ascent++: 1
ballistic missile → HasA → ballistic trajectory 0.50