rope cutter

rope cutter

[′rōp ‚kəd·ər] (mining engineering) hook tender