The dog jumps in the air running after the Frisbee.
The frisbee is red.
One cannot assume that the color of the frisbee is red.
exists e1 e2 x1 x2 x3 x4.(ne_geo_frisbee(x4) & n_air(x2) & n_dog(x1) & in(e1,x2) & after(e2,x4) & Actor(e2,x3) & v_run(e2) & (x2 = x3) & Actor(e1,x1) & v_jump(e1))
exists s1 x1.(n_frisbee(x1) & Theme(s1,x1) & a_red(s1))