| 释义 |
hard-rock driller hard-rock driller[′härd ¦räk ′dril·ər] (mining engineering) A worker who operates a drill in a mine where the rocks are generally igneous or metamorphosed and considered hard, such as rocks in which coal and salt are generally found. |