Two dogs of different breeds looking at each other on the road.
Two different dogs look at each other.
Two dogs look at each other on the road.
exists e1 x1 x2 x3 x4.(n_road(x4) & n_breed(x3) & on(e1,x4) & all x5.(n_other(x5) -> at(e1,x5)) & Actor(e1,x1) & v_look(e1) & of(x1,x2) & -(x2 = x3) & n_breed(x2) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_dog(x2) & all x3.(n_other(x3) -> at(e1,x3)) & Actor(e1,x1) & v_look(e1) & -(x1 = x2) & n_dog(x1) & card_eq_2(x1))