The large gray colored dog is jumping on the beach.
the dog is at home eating
One cannot be on the beach and at home simultaneously
exists e1 e2 s1 s2 x1 x2.(n_beach(x2) & n_dog(x1) & Theme(e1,x1) & v_color(e1) & a_gray(s2) & Theme(s2,x1) & a_large(s1) & Theme(s1,x1) & on(e2,x2) & Actor(e2,x1) & v_jump(e2))
exists p1 x1.(n_dog(x1) & exists x2 x3.(at(x1,x2) & n_eating(x2) & of(x2,x3) & n_home(x3)))