back Chris Johnson, Index



Step 2: Model Evidence


"Immediately after throttling back the number 2 engine, the first officer advised London Air Traffic Control that they had an emergency situation which looked like a fire. The commander then ordered the first officer 'SHUT IT DOWN'." [page 4]



exists t :
message(commander, first_officer, SHUT_IT_DOWN, t)^
after(20_05_24, t)<(2)







forward