The white dog is on its back in the sand with paws in the air.
The white dog is in the sand lying face up.
if the dog is lying with paws in the air, then it is face up
exists p1 s1 x1 x2 x3 x5.(n_air(x5) & n_sand(x3) & n_back(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & a_white(s1) & Theme(s1,x1) & exists x4.(on(x1,x2) & with(x2,x4) & in(x4,x5) & n_paw(x4) & in(x2,x3)))
exists p1 s1 x1 x2.(n_sand(x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1) & exists e1 s2 x3 x4.(in(x1,x2) & a_up(s2) & Manner(e1,s2) & Theme(e1,x4) & Actor(e1,x3) & v_lie(e1) & n_face(x4) & (x2 = x3)))