A man runs as a firetruck arrives to a fire.
A man dances as another man plays the drums.
If a man runs, it is unlikely that he dances at the same time.
exists e1 p1 x1.(exists e2 x2 x3.(to(e2,x3) & n_fire(x3) & Actor(e2,x2) & v_arrive(e2) & n_firetruck(x2)) & as(e1,p1) & Actor(e1,x1) & v_run(e1) & n_man(x1))
exists e1 p1 x1 x3.(n_drum(x3) & exists e2 x2.(Theme(e2,x3) & Actor(e2,x2) & v_play(e2) & n_man(x2) & -(x2 = x1)) & n_man(x1) & n_man(x1) & as(e1,p1) & Actor(e1,x1) & v_dance(e1))