A woman with short hair and wearing a costume bra stands on the street.
Some women are at the movie theatre.
A woman is not some women. If someone is on the street that indicates they are not at the movie theatre.
exists e2 e1 s1 x1 x2 x3 x4 x5 x6 x7.(n_street(x7) & on(e2,x7) & Actor(e2,x1) & v_stand(e2) & subset_of(e1,x1) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & n_bra(x5) & of(x5,x6) & n_costume(x6) & n_thing(x4) & subset_of(x2,x1) & with(x2,x3) & n_hair(x3) & a_short(s1) & Theme(s1,x3) & n_woman(x2))
exists p1 x1 x2 x3.(n_theatre(x2) & of(x2,x3) & n_movie(x3) & at(x1,x2) & n_woman(x1))