A blue, red, and yellow airplane is flying through the air.
The airplane is stuck at the gate.
If the plane is stuck at the gate it can't be flying through the air.
exists e1 s1 s2 s3 x1 x2.(n_air(x2) & through(e1,x2) & Actor(e1,x1) & v_fly(e1) & n_airplane(x1) & a_yellow(s3) & Theme(s3,x1) & a_red(s2) & Theme(s2,x1) & a_blue(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_gate(x2) & n_airplane(x1) & at(e1,x2) & Theme(e1,x1) & v_stick(e1))