A brown dog is running in the water by the beach.
An animal is running outside.
If the dog is running by the water, the dog is outside
exists e1 s1 x1 x2 x3.(n_beach(x3) & n_water(x2) & by(e1,x3) & in(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists e1 s1 x1.(a_outside(s1) & Manner(e1,s1) & Actor(e1,x1) & v_run(e1) & n_animal(x1))