Two little girls, one wearing a pink jacket, coloring in the same coloring book.
The girls are coloring Anna and Elsa.
You can not infer they are coloring Anna and Elsa.
exists e1 e2 s1 s2 s3 x1 x2 x3 x4 x5 x6.(n_book(x5) & of(x5,x6) & n_coloring(x6) & a_same(s3) & Theme(s3,x5) & in(e2,x5) & Actor(e2,x1) & v_color(e2) & rel(x1,x2) & Theme(e1,x4) & Actor(e1,x3) & v_wear(e1) & n_jacket(x4) & a_pink(s2) & Theme(s2,x4) & (x2 = x3) & n_thing(x2) & card_eq_1(x2) & n_girl(x1) & a_little(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4.(ne_per_elsa(x4) & ne_per_anna(x3) & n_girl(x1) & Theme(e1,x2) & Actor(e1,x1) & v_color(e1) & subset_of(x4,x2) & subset_of(x3,x2))