A group of girl dancers gathers in a group while another leaps into the air.
The girls are swimming.
The girls cannot be swimming and dancing or leaping into the air at the same time
exists p1 p2 p3 x1 x2 x3 x4 x5 x7.(n_air(x7) & for(p1,x1) & exists x8.n_event(x8) & exists e1 x6.(into(e1,x7) & Actor(e1,x6) & v_leap(e1) & n_thing(x6)) & while(p2,p3) & of(x1,x2) & in(x2,x5) & n_group(x5) & n_gather(x2) & of(x2,x4) & n_dancer(x4) & of(x2,x3) & n_girl(x3) & n_group(x1))
exists e1 x1.(n_girl(x1) & Actor(e1,x1) & v_swim(e1))