Two children are sitting on the floor together.
Two children are in bed asleep.
If children are sitting on the floor then they are not in bed asleep.
exists e1 s1 x1 x2.(n_floor(x2) & a_together(s1) & Manner(e1,s1) & on(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_child(x1) & card_eq_2(x1))
exists p1 x1.(exists x2 x3.(in(x1,x2) & n_asleep(x2) & of(x2,x3) & n_bed(x3)) & n_child(x1) & card_eq_2(x1))