lady smoking a cigarette walking
The lady is walking smoking a cigarette.
The lady is walking smoking a cigarette because she is smoking a cigarette walking.
all x2 x1.((n_walking(x1) & of(x1,x2) & n_cigarette(x2)) -> exists x3 x4.(a_topic(x3) & for(x3,x1) & n_smoking(x3) & of(x3,x4) & n_lady(x4)))
exists e1 p1 x1.(n_lady(x1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_smoke(e2) & n_cigarette(x2)) & Topic(e1,p1) & Actor(e1,x1) & v_walk(e1))