A pile of seaweed sits on the sand, behind it a big black dog is running in the water.
The dog is sitting on the sand.
The dog cannot be sitting on the sand and running in the water at the same time.
exists e1 p1 x1 x2 x3 x5.(n_water(x5) & n_thing(x3) & n_sand(x3) & behind(e1,x3) & exists e2 s1 s2 x4.(in(e2,x5) & Actor(e2,x4) & v_run(e2) & n_dog(x4) & a_black(s2) & Theme(s2,x4) & a_big(s1) & Theme(s1,x4)) & that(x3,p1) & on(e1,x3) & Actor(e1,x1) & v_sit(e1) & of(x1,x2) & n_seaweed(x2) & n_pile(x1))
exists e1 x1 x2.(n_sand(x2) & n_dog(x1) & on(e1,x2) & Actor(e1,x1) & v_sit(e1))