A man in a jacket is looking at some oranges in the grocery store.
A man is checking out at the grocery store.
The man is either looking at some oranges or he is checking out at the store. He can not be doing both at the same time.
exists e1 x1 x2 x3 x4 x5.(n_store(x4) & of(x4,x5) & n_grocery(x5) & at(e1,x3) & in(x3,x4) & n_orange(x3) & Actor(e1,x1) & v_look(e1) & in(x1,x2) & n_jacket(x2) & n_man(x1))
exists e1 s1 x1 x2 x3.(n_store(x2) & of(x2,x3) & n_grocery(x3) & at(e1,x2) & a_out(s1) & Manner(e1,s1) & Actor(e1,x1) & v_check(e1) & n_man(x1))