Two baseball players running bases while opposing team waits to catch the ball for an out.
One ball player is tagged out.
when one waits to catch the ball the player cannot be tagged out
exists e2 e1 p1 x1 x2 x3 x4 x5 x6 x7.(n_ball(x7) & a_topic(x1) & while(e1,e2) & Topic(e2,p1) & exists e3 x8.(for(e3,x8) & n_out(x8) & Theme(e3,x7) & Actor(e3,x3) & v_catch(e3)) & Theme(e2,x5) & Actor(e2,x3) & v_oppose(e2) & n_wait(x5) & of(x5,x6) & n_team(x6) & Theme(e1,x4) & Actor(e1,x3) & v_run(e1) & n_basis(x4) & (x1 = x3) & n_player(x1) & of(x1,x2) & n_baseball(x2) & card_eq_2(x1))
exists e1 s1 x1 x2.(a_out(s1) & Manner(e1,s1) & Theme(e1,x1) & v_tag(e1) & n_player(x1) & of(x1,x2) & n_ball(x2) & card_eq_1(x1))