1 用have been told表示现在完成时的被动语态。
2 proving是prove的进行时态。
3 to 是动词 cause 的介词,这个句子里 cause to 是动词词组,做谓语,宾语是 the roof of the mine
4 首先,这个句子是不完整的,只有从句没有主句。其次,it 指代的是to drill though the hard rock 这个部分。
5 to 引导的是一个动词不定式,这个不定式做主语,不过,为了避免头重脚轻,有的时候to引导的不定式做主语,会放在句尾。