Girl with red-hair modeling.
A girl is modeling.
A girl with red-hair is still a girl.
exists s1 s2 x1.(ne_nam_girl(s1) & a_topic(s1) & with(s1,x1) & n_modeling(x1) & a_red-hair(s2) & Theme(s2,x1))
exists e1 x1.(Actor(e1,x1) & v_model(e1) & n_girl(x1))