Three people wait to cross a city street and one has a dog on a leash.
Three people are walking the dog.
Event though there are three people waiting to cross the street, it does not imply all three are walking the dog. Just because the dog is on a leash doesn't mean the people are walking it.
exists e1 e2 p1 x1 x2 x3 x4.(Theme(e2,x3) & Actor(e2,x2) & v_have(e2) & on(x3,x4) & n_leash(x4) & n_dog(x3) & n_one(x2) & Topic(e1,p1) & Actor(e1,x1) & v_wait(e1) & exists e3 x5 x6.(Theme(e3,x5) & Actor(e3,x1) & v_cross(e3) & n_street(x5) & of(x5,x6) & n_city(x6)) & n_people(x1) & card_eq_3(x1))
exists e1 x1 x2.(n_dog(x2) & Theme(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_people(x1) & card_eq_3(x1))