Several children and some adults are sitting on the floor.
There are seven adults and four children on the floor.
Several children and some adults does not necessarily imply seven adults and four children.
exists e1 s1 x1 x2 x3 x4.(n_floor(x4) & on(e1,x4) & Actor(e1,x1) & v_sit(e1) & subset_of(x3,x1) & n_adult(x3) & subset_of(x2,x1) & n_child(x2) & a_several(s1) & Theme(s1,x2))
exists p1 x1 x5.(n_floor(x5) & exists x2 x3 x4.((x1 = x2) & on(x2,x5) & n_child(x4) & card_eq_4(x4) & n_adult(x3) & subset_of(x4,x2) & subset_of(x3,x2) & card_eq_7(x2)))