Two children, one in red and one in blue, making snow angels.
The children sleeping in bed.
They can not be sleeping in bed and making snow angels at the same time.
exists e1 x1 x2 x3 x4 x5 x6 x7 x8.(Theme(e1,x7) & Actor(e1,x1) & v_make(e1) & n_angel(x7) & of(x7,x8) & n_snow(x8) & rel(x1,x2) & subset_of(x5,x2) & in(x5,x6) & n_blue(x6) & n_thing(x5) & card_eq_1(x5) & subset_of(x3,x2) & in(x3,x4) & n_red(x4) & n_thing(x3) & card_eq_1(x3) & n_child(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_child(x1) & a_topic(x1) & in(e1,x3) & n_bed(x3) & Actor(e1,x2) & v_sleep(e1) & (x1 = x2))