Many people are in an indoor swimming pool and one girl is in the act of jumping in headfirst.
The people are on a basketball court.
One cannot be in an indoor swimming pool at the same time as being on a basketball court.
exists p1 p2 x1 x2 x5.(n_act(x5) & exists e1 x6 x7.(in(x2,x5) & in(e1,x7) & n_headfirst(x7) & Actor(e1,x6) & v_jump(e1) & (x5 = x6)) & n_girl(x2) & card_eq_1(x2) & exists s1 x3 x4.(in(x1,x3) & n_pool(x3) & of(x3,x4) & n_swimming(x4) & a_indoor(s1) & Theme(s1,x3)) & n_people(x1) & n_quantity(x1))
exists p1 x1.(n_people(x1) & exists x2 x3.(on(x1,x2) & n_court(x2) & of(x2,x3) & n_basketball(x3)))