Two dogs run down the road.
Two dogs are running to their owner
Just because two dogs run down the road does not mean they are running to their owner.
exists e1 x1 x2.(n_road(x2) & down(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(to(e1,x2) & n_owner(x2) & of(x2,x1) & n_thing(x1) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & card_eq_2(x1))