Noun
rope drilling (uncountable) A technique for boring holes by means of tools attached to a rope and alternately lifted and lowered.