A dark-haired boy smiles while laying next to two other kids.
Four hundred kids are on the ground sleeping
There can either be three kids or four hundred kids.
exists e1 e2 s1 x1 x2 x3.(n_kid(x3) & while(e1,e2) & to(e2,x2) & -(x2 = x3) & n_kid(x2) & card_eq_2(x2) & r_next(e2) & Actor(e2,x1) & v_lay(e2) & Actor(e1,x1) & v_smile(e1) & n_boy(x1) & a_dark-haired(s1) & Theme(s1,x1))
exists p1 x1 x2.(n_ground(x2) & exists e1 x3.(on(x1,x2) & Actor(e1,x3) & v_sleep(e1) & (x2 = x3)) & n_kid(x1) & card_eq_400(x1) & card_eq_400(x1))