Two girls are competing and one wearing blue is on the floor while the one wearing white is on top of her.
There are no girls present.
If there are no girls present then there are no two girls competing.
exists e3 e1 e2 p1 p2 x1 x2 x3 x4 x5 x6.(n_female(x5) & n_white(x6) & Actor(e3,x6) & v_wear(e3) & card_eq_1(x6) & n_floor(x5) & exists p3 x7.(on(x6,x7) & of(x7,x5) & n_top(x7)) & while(p1,p2) & on(x2,x5) & Theme(e2,x4) & Actor(e2,x3) & v_wear(e2) & n_blue(x4) & (x2 = x3) & n_thing(x2) & card_eq_1(x2) & Actor(e1,x1) & v_compete(e1) & n_girl(x1) & card_eq_2(x1))
exists p1 s1 x1.(a_present(s1) & Manner(p1,s1) & -exists x2.((x1 = x2) & n_girl(x2)))