Two young girls with sponge bats being to play while an older girl is acting as the referee.
The girls are having fun.
To play does not imply to have fun necessarily.
exists p1 p2 s1 s2 x1 x2 x3 x6.(n_referee(x6) & a_topic(x1) & with(x1,x2) & exists e1 s3 x5.(as(e1,x6) & Actor(e1,x5) & v_act(e1) & n_girl(x5) & r_more(s3) & a_older(s3) & Theme(s3,x5)) & while(p1,p2) & exists x4.(to(x3,x4) & n_play(x4)) & (x2 = x3) & n_bat(x2) & a_sponge(s2) & Theme(s2,x2) & n_girl(x1) & a_young(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2.(n_girl(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_fun(x2))