rock drill

English

Alternative forms

Noun

rock drill (plural rock drills)

  1. A powerful drill that can cut through stone.