A gloved runner jogs through the shade.
The jogger is sitting in the park.
Person who is sitting can not jogs through the shade at the same time.
exists s1 x1 x2 x3.(n_shade(x3) & a_topic(x1) & through(x1,x3) & n_jog(x1) & of(x1,x2) & n_runner(x2) & a_gloved(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_park(x2) & n_jogger(x1) & in(e1,x2) & Actor(e1,x1) & v_sit(e1))