The two children are in the bed with comic books.
The two girls are in the bed with comic books.
Children aren't always girls
exists p1 x1 x2.(n_bed(x2) & n_child(x1) & card_eq_2(x1) & exists s1 x3.(in(x1,x2) & with(x2,x3) & n_book(x3) & a_comic(s1) & Theme(s1,x3)))
exists p1 x1 x2.(n_bed(x2) & n_girl(x1) & card_eq_2(x1) & exists s1 x3.(in(x1,x2) & with(x2,x3) & n_book(x3) & a_comic(s1) & Theme(s1,x3)))