A woman with long hair and a white top stands on a city street while two people stand beside her.
The woman has short hair.
A woman cannot have long hair and short hair simultaneously.
(x)
exists e1 s1 x1 x2.(n_woman(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_hair(x2) & a_short(s1) & Theme(s1,x2))