There is a girl in all pink sleeping on the floor with her dolls.
The little girl sleeping in pink is fast asleep, dreaming about her dolls.
We do not know what the sleeping girl is dreaming about.
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 p1 s1 x1 x2 x3 x4.(n_doll(x4) & of(x4,x1) & n_female(x1) & n_girl(x1) & a_little(s1) & Theme(s1,x1) & for(p1,e2) & about(e2,x4) & Actor(e2,x1) & v_dream(e2) & exists s2 x5.((x1 = x5) & n_asleep(x5) & a_fast(s2) & Theme(s2,x5)) & in(e1,x3) & n_pink(x3) & Actor(e1,x2) & v_sleep(e1) & (x1 = x2))