Two men are waiting to be interviewed, while another checks the mics.
The men are playing football.
The men can't be playing football at the same time as waiting for interviews or working on mics.
exists e1 p1 x1 x3.(n_mic(x3) & Topic(e1,p1) & Actor(e1,x1) & v_wait(e1) & exists e2 p2.(exists e3 x2.(Theme(e3,x3) & Actor(e3,x2) & v_check(e3) & n_thing(x2)) & while(e2,p2) & Theme(e2,x1) & v_interview(e2)) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_football(x2))