Two men waiting and talking on a city street.
Two men are sitting on the bus bench.
The two men cannot be sitting on the bus bench if they are on the street.
exists e2 e1 x1 x2 x3 x4.(on(e2,x3) & n_street(x3) & of(x3,x4) & n_city(x4) & Actor(e2,x2) & v_talk(e2) & n_man(x2) & card_eq_2(x2) & Actor(e1,x1) & v_wait(e1) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_bench(x2) & of(x2,x3) & n_bus(x3) & on(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1) & card_eq_2(x1))