A girl is dressed up in a red devil outfit.
A red devil dress for girls is on display at a store
A girl being dressed up in a red devil outfit is not the same as that outfit on display at a store.
exists e1 s1 s2 x1 x2 x3.(in(e1,x2) & n_outfit(x2) & of(x2,x3) & n_devil(x3) & a_red(s2) & Theme(s2,x2) & a_up(s1) & Manner(e1,s1) & Theme(e1,x1) & v_dress(e1) & n_girl(x1))
exists p1 s1 x1 x2 x3 x4.(at(p1,x4) & n_store(x4) & exists x5.(on(x1,x5) & n_display(x5)) & for(x1,x3) & n_girl(x3) & n_dress(x1) & of(x1,x2) & n_devil(x2) & a_red(s1) & Theme(s1,x1))