Two men are walking on the street in front of a subway stop, and one has his umbrella opened and at his side.
Two men are running on the street.
Two men are either walking on the street or two men are running on the street.  The number of men and setting are the same, but the action (running or walking) is contradictory.
exists e2 e1 e3 e4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(n_side(x12) & of(x12,x2) & n_male(x2) & n_male(x2) & n_street(x11) & n_umbrella(x8) & of(x8,x2) & n_street(x2) & at(e4,x12) & on(e4,x11) & Actor(e4,x10) & v_walk(e4) & n_man(x10) & card_eq_2(x10) & in(e1,x3) & Theme(e3,x9) & Actor(e3,x8) & v_open(e3) & (x3 = x9) & of(x3,x4) & Theme(e2,x7) & Actor(e2,x6) & v_have(e2) & (x4 = x7) & n_thing(x6) & card_eq_1(x6) & n_stop(x4) & of(x4,x5) & n_subway(x5) & n_front(x3) & on(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_street(x2) & on(e1,x2) & Actor(e1,x1) & v_run(e1) & n_man(x1) & card_eq_2(x1))