A runner winces as he runs.
He winces because he had knee surgery last week.
wincing as he runs does not imply he had knee surgery last week.
exists e1 p1 x1.(exists e2.(Actor(e2,x1) & v_run(e2)) & n_male(x1) & as(e1,p1) & Actor(e1,x1) & v_wince(e1) & n_runner(x1))
exists e1 p1 x1.(n_male(x1) & n_male(x1) & exists e2 x2 x3 x4.(r_last(e2) & Time(e2,x4) & n_week(x4) & Theme(e2,x2) & Actor(e2,x1) & v_have(e2) & n_surgery(x2) & of(x2,x3) & n_knee(x3)) & because(e1,p1) & Actor(e1,x1) & v_wince(e1))