Two dogs of different breeds looking at each other on the road.
Two of the same dog breed look at each other on the street.
The dogs cannot be the same breed and different breeds.
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 s1 x1 x2 x3 x4 x6.(n_street(x6) & n_look(x2) & of(x2,x4) & n_breed(x4) & of(x2,x3) & n_dog(x3) & a_same(s1) & Theme(s1,x2) & all x5.(n_other(x5) -> (a_topic(x1) & of(x1,x2) & on(x2,x6) & at(x2,x5))) & n_thing(x1) & card_eq_2(x1))