Four men are walking down the street in their orange attire.
Four men are walking down the street dressed in black.
The four men walking down the street cannot be dressed in both orange and black.
exists e1 x1 x2 x3 x4.(n_attire(x3) & of(x3,x4) & n_orange(x4) & of(x3,x2) & n_thing(x2) & n_street(x2) & in(e1,x3) & down(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_man(x1) & card_eq_4(x1))
exists e2 e1 s1 x1 x2 x3 x4.(n_street(x2) & down(e1,x2) & Theme(e2,s1) & Theme(s1,x4) & a_black(s1) & Theme(e2,x3) & v_dress(e2) & (x2 = x3) & Actor(e1,x1) & v_walk(e1) & n_man(x1) & card_eq_4(x1))