A Beagle dog is walking on the shoreline at the beach.
An animal is on the beach.
dog at the beach means animal is on the beach
exists e1 x1 x2 x3 x4.(n_beach(x4) & n_shoreline(x3) & at(e1,x4) & on(e1,x3) & Actor(e1,x1) & v_walk(e1) & n_dog(x1) & (x1 = x2) & ne_org_beagle(x2))
exists p1 x1 x2.(n_beach(x2) & on(x1,x2) & n_animal(x1))