A man with a torch is heating up a roof and laying down a layer of tar paper.
cat chases a dog
A man and a cat are not synonymous. The man can either be heating a roof and laying paper, or a cat who cases a dog.
exists e1 e2 s1 s2 x1 x2 x3 x4 x5 x6 x7 x8.(a_down(s2) & Manner(e2,s2) & Theme(e2,x6) & Actor(e2,x4) & v_lay(e2) & of(x6,x7) & n_paper(x7) & of(x7,x8) & n_tar(x8) & n_layer(x6) & with(x4,x5) & n_torch(x5) & n_man(x4) & a_up(s1) & Manner(e1,s1) & Theme(e1,x3) & Actor(e1,x1) & v_heat(e1) & n_roof(x3) & with(x1,x2) & n_torch(x2) & n_man(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_chase(e1) & n_dog(x2) & n_cat(x1))