Four dogs are being walked by two owners.
Four dogs drag their two owners down the street.
Not all dogs being walked are dragging their owners. Not all dog walks are done down the street.
exists e1 x1 x2.(Actor(e1,x2) & n_owner(x2) & card_eq_2(x2) & Theme(e1,x1) & v_walk(e1) & n_dog(x1) & card_eq_4(x1))
exists e1 x1 x2 x3.(n_street(x3) & down(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_drag(e1) & n_owner(x2) & card_eq_2(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & card_eq_4(x1))