A female baseball player wearing a blue shirt slides into base, while another player in a white shirt wearing a catcher's mitt jumps.
Some women are in the stands enjoying a sporting event.
If a female player slides into base while another player jumps, and those are the subjects, those women cannot be simultaneously in the stands.
exists e1 e3 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(while(e2,x6) & in(x6,x7) & Theme(e3,x10) & Actor(e3,x8) & v_wear(e3) & n_jump(x10) & of(x10,x11) & n_mitt(x11) & of(x10,x9) & n_catcher(x9) & (x7 = x8) & n_shirt(x7) & a_white(s3) & Theme(s3,x7) & n_player(x6) & -(x6 = x1) & n_player(x1) & n_player(x1) & into(e2,x5) & n_base(x5) & Actor(e2,x1) & v_slide(e2) & Theme(e1,x4) & Actor(e1,x3) & v_wear(e1) & n_shirt(x4) & a_blue(s2) & Theme(s2,x4) & (x1 = x3) & of(x1,x2) & n_baseball(x2) & a_female(s1) & Theme(s1,x1))
exists p1 x1 x2.(n_stand(x2) & exists e1 x3 x4 x5.(in(x1,x2) & Theme(e1,x4) & Actor(e1,x3) & v_enjoy(e1) & n_event(x4) & of(x4,x5) & n_sporting(x5) & (x2 = x3)) & n_woman(x1))