A man is sitting on a wagon being loaded with bags and being pulled by an animal.
An animal is sitting on a chariot pulled by a man.
An animal can't be sitting on a wagon if the man is sitting there.
exists e2 e1 e3 x1 x2 x3 x4 x5 x6.(on(e1,x2) & Actor(e3,x6) & n_animal(x6) & Theme(e3,x5) & v_pull(e3) & (x2 = x5) & with(e2,x4) & n_bag(x4) & Theme(e2,x3) & v_load(e2) & (x2 = x3) & n_wagon(x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1))
exists e2 e1 x1 x2 x3 x4.(on(e1,x2) & Actor(e2,x4) & n_man(x4) & Theme(e2,x3) & v_pull(e2) & (x2 = x3) & n_chariot(x2) & Actor(e1,x1) & v_sit(e1) & n_animal(x1))