rope drilling (English, noun)
expansion: rope drilling (uncountable)
Senses:
glosses: A technique for boring holes by means of tools attached to a rope and alternately lifted and lowered.
tags: uncountable
Forms: