A girl standing in high heels.
A girl is barefoot.
Barefoot means no shoes on. High heels are shoes.
exists s1 x1 x2 x3.(a_topic(x1) & in(x1,x3) & n_heel(x3) & a_high(s1) & Theme(s1,x3) & n_standing(x1) & of(x1,x2) & n_girl(x2))
exists p1 x1.(exists x2.((x1 = x2) & n_barefoot(x2)) & n_girl(x1))