White with black spots dog is being looked at by a man on the street.
Dog is standing on the street.
If the man looking at the dog is on the street, the dog must be on the street too.
exists e1 s1 x1 x2 x3 x4 x5.(n_street(x5) & ne_geo_white(x1) & Actor(e1,x4) & on(x4,x5) & n_man(x4) & at(e1,x1) & with(x1,x2) & n_dog(x2) & of(x2,x3) & n_spot(x3) & a_black(s1) & Theme(s1,x2) & v_look(e1))
exists e1 x1 x2.(n_street(x2) & ne_nam_dog(x1) & on(e1,x2) & Actor(e1,x1) & v_stand(e1))