The little girl is dressed in pink.
A little girl is dressed in the same color.
If the second little girl is dressed in the same color, she is also dressed in pink.
exists e1 s1 x1 x2.(n_girl(x1) & a_little(s1) & Theme(s1,x1) & in(e1,x2) & n_pink(x2) & Theme(e1,x1) & v_dress(e1))
exists e1 s1 s2 x1 x2.(n_color(x2) & a_same(s2) & Theme(s2,x2) & in(e1,x2) & Theme(e1,x1) & v_dress(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1))