Assertion list for term "kill all 243 passengers".

Results from Ascent++: 1
flight CapableOfkill all 243 passengers 0.23