A man is carefully chiseling ice.
The ice has to be chiseled by the man
if he is doing it then it will be done by him
exists e1 s1 x1 x2.(a_carefully(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_chisel(e1) & n_ice(x2) & n_man(x1))
exists e1 p1 x1 x2.(n_man(x2) & n_ice(x1) & Topic(e1,p1) & Actor(e1,x1) & v_have(e1) & exists e2.(Actor(e2,x2) & Theme(e2,x1) & v_chisel(e2)))