Assertion list
range (aspect of cruise missile ) → HasA
Results from Ascent++: 1
range → HasA → stealth features 0.25