Assertion list for term "kill all seven astronauts".

Results from Ascent++: 1
space shuttle CapableOfkill all seven astronauts 0.57