The child enjoys going down the slide.
The child is sleeping in his bed, warm and comfortable.
Child cannot be going down the slide and sleep at the same time.
exists e1 p1 x1 x2.(n_slide(x2) & n_child(x1) & exists e2 s1.(a_down(s1) & Manner(e2,s1) & Theme(e2,x2) & Actor(e2,x1) & v_go(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_enjoy(e1))
exists e1 s1 s2 x1 x2 x3 x4.(n_bed(x2) & of(x2,x1) & n_male(x1) & n_child(x1) & in(e1,x2) & Theme(s2,x4) & a_comfortable(s2) & (x2 = x4) & Theme(s1,x3) & a_warm(s1) & (x2 = x3) & Actor(e1,x1) & v_sleep(e1))