Two small dogs, one black-and-white and one brown-and-black, walk down the street.
Two dogs are laying in the middle of the street.
The dogs cannot both walk down the street and be laying in the street.
exists e1 s1 s2 x1 x2 x3 x4.(n_street(x4) & a_topic(x1) & rel(x1,x2) & down(e1,x4) & Theme(e1,x3) & v_walk(e1) & (x2 = x3) & n_brown-and-black(x2) & card_eq_1(x2) & card_eq_1(x2) & a_black-and-white(s2) & Theme(s2,x2) & n_dog(x1) & a_small(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_street(x3) & n_middle(x2) & in(e1,x2) & of(x2,x3) & Actor(e1,x1) & v_lay(e1) & n_dog(x1) & card_eq_2(x1))