Bore

In reference to construction operations, the making of a relatively large hole in earth or rock with an excavating device, while removing the muck mechanically or with the aid of gravity. Distinguished from drill.