Thanks for your advice.
Yes, major pruning of the healthy part of the tree will have to wait till next dormant period.
I won't be able to keep it lying there on the gravel for long enough for it to root as we're hoping to convert that into more garden space. So I'm thinking about moving the limbs to a different section of the garden that has actual soil for it to root. How long will that take?
Or would it perhaps even make sense to simply dig a few holes in a different area of the garden and stick some of the trunks in there with some rooting hormone?