A man and two children are sleeping on the floor.
Some people are sleeping in beds.
They cannot be sleeping on the floor and in beds simultaneously.
exists e1 x1 x2 x3.(n_floor(x3) & on(e1,x3) & Actor(e1,x1) & v_sleep(e1) & n_child(x1) & card_eq_2(x1) & of(x1,x2) & n_man(x2))
exists e1 x1 x2.(in(e1,x2) & n_bed(x2) & Actor(e1,x1) & v_sleep(e1) & n_people(x1))