Three little girls are sitting at a red cover table filling out cards with pen and paper to be placed in the easter basket and red bowl on the table.
There are girls.
There are girls, is true because there are three little girls.
exists e2 e1 p1 s1 s2 s3 s4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11.(n_bowl(x10) & a_red(s4) & Theme(s4,x10) & n_basket(x9) & of(x9,x11) & n_easter(x11) & subset_of(x10,x8) & subset_of(x9,x8) & for(e1,e2) & Topic(e2,p1) & exists e3.(on(e3,x2) & in(e3,x8) & Theme(e3,x1) & v_place(e3)) & n_table(x2) & n_table(x2) & with(e2,x5) & n_paper(x7) & n_pen(x6) & subset_of(x7,x5) & subset_of(x6,x5) & a_out(s3) & Manner(e2,s3) & Theme(e2,x4) & Actor(e2,x1) & v_fill(e2) & n_card(x4) & at(e1,x2) & of(x2,x3) & n_cover(x3) & a_red(s2) & Theme(s2,x2) & Actor(e1,x1) & v_sit(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1) & card_eq_3(x1))
exists p1 x1 x2.((x1 = x2) & n_girl(x2))