Two men are letting their dogs play together in the street.
two men are skydiving
The men cannot be letting their dogs play and skydiving simultaneously.
exists e1 e2 s1 x1 x2 x3 x4.(n_street(x4) & Theme(e2,x2) & Actor(e2,x1) & v_let(e2) & in(e1,x4) & a_together(s1) & Manner(e1,s1) & Actor(e1,x3) & v_play(e1) & (x2 = x3) & n_dog(x2) & of(x2,x1) & n_thing(x1) & n_man(x1) & card_eq_2(x1))
exists e1 x1.(Actor(e1,x1) & v_skydive(e1) & n_man(x1) & card_eq_2(x1))