A man is hoisted along side a window on a building, with a bucket attached to his harness.
A man is cleaning windows.
Not all man hoisted along side a window on a building, with a bucket attached to his harness is cleaning windows.
exists e1 x1 x6.(all x2.(n_window(x2) -> exists e2 x3 x4 x5.(to(e2,x6) & Theme(e2,x5) & v_attach(e2) & with(e1,x5) & n_bucket(x5) & along(e1,x3) & on(x3,x4) & n_building(x4) & for(x3,x2) & n_side(x3))) & n_harness(x6) & of(x6,x1) & n_male(x1) & Theme(e1,x1) & v_hoist(e1) & n_man(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_clean(e1) & n_window(x2) & n_man(x1))