A painter puts finishing touches on an image.
Nobody is doing anything
If nobody is doing anything, the painter would not be  putting finishing touches on his image.
exists e1 s1 x1 x2 x3.(on(e1,x3) & n_image(x3) & Theme(e1,x2) & Actor(e1,x1) & v_put(e1) & n_touch(x2) & a_finishing(s1) & Theme(s1,x2) & n_painter(x1))
-exists x1.(all x2.(n_thing(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_do(e1))) & n_person(x1))