The beagle is on a beach walking along the shoreline
a dog smells his way along the shoreline
It cannot be inferred that the dog smells his way along the shoreline.
exists p1 x1 x4.(n_shoreline(x4) & n_beagle(x1) & exists x2 x3.(on(x1,x2) & along(x2,x4) & n_walking(x2) & of(x2,x3) & n_beach(x3)))
exists e1 x1 x2 x3.(n_shoreline(x3) & Theme(e1,x2) & Actor(e1,x1) & v_smell(e1) & along(x2,x3) & n_way(x2) & of(x2,x1) & n_male(x1) & n_dog(x1))