A woman in a black dress smoking a cigarette outside.
A woman is chain smoking.
A woman is not always chain smoking.
exists x1.(all x3 x2.((n_outside(x2) & of(x2,x3) & n_cigarette(x3)) -> exists s1 x4 x5.(a_topic(x1) & in(x1,x4) & for(x4,x2) & n_smoking(x4) & of(x4,x5) & n_dress(x5) & a_black(s1) & Theme(s1,x4))) & n_woman(x1))
exists p1 x1.(exists x2 x3.((x1 = x2) & n_smoking(x2) & of(x2,x3) & n_chain(x3)) & n_woman(x1))