There is a girl in all pink sleeping on the floor with her dolls.
A girl exhausted after playing with her dolls.
The girl sleeping with her dolls does not mean she was playing with them prior to going to sleep.
exists p1 x1 x4 x5.(n_doll(x5) & of(x5,x4) & n_female(x4) & n_floor(x4) & exists x2.(all x3 s1.((n_sleeping(x3) & a_pink(s1) & Theme(s1,x3)) -> ((x1 = x2) & in(x2,x3) & on(x3,x4) & with(x4,x5))) & n_girl(x2)))
exists e1 e2 x1 x2 x3.(a_topic(x1) & after(e1,e2) & with(e2,x3) & n_doll(x3) & of(x3,x1) & n_female(x1) & Actor(e2,x2) & v_play(e2) & Theme(e1,x2) & v_exhaust(e1) & (x1 = x2) & n_girl(x1))