Assertion list
target (aspect of cruise missile ) → HasProperty
Results from Ascent++: 1
target → HasProperty → impervious 0.25