A blue, red, and yellow plane does a loop in the air.
The plane is big
Just because planes are in the air, that does not mean they are big in size
exists e1 s1 s2 s3 s4 x1 x2 x3.(n_air(x3) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_do(e1) & n_loop(x2) & n_plane(x1) & a_yellow(s4) & Theme(s4,x1) & a_red(s3) & Theme(s3,x1) & a_,(s2) & Theme(s2,x1) & a_blue(s1) & Theme(s1,x1))
exists s1 x1.(n_plane(x1) & Theme(s1,x1) & a_big(s1))