The boys are having a night out from homework; some are at the table while two are sleeping.
There are four boys at the table.
Not all groups of boys consist of four members.
exists e1 p1 p2 x1 x2 x3 x4 x5.(n_table(x5) & n_boy(x1) & exists e2 x6.(Actor(e2,x6) & v_sleep(e2) & n_thing(x6) & card_eq_2(x6)) & while(p1,p2) & at(x4,x5) & n_thing(x4) & from(e1,x3) & n_homework(x3) & r_out(e1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_night(x2))
exists p1 x1 x3.(n_table(x3) & exists x2.((x1 = x2) & at(x2,x3) & n_boy(x2) & card_eq_4(x2)))