drag-stone mill

drag-stone mill

[′drag ‚stōn ‚mil] (mining engineering) A mill in which a heavy stone is dragged over ore to grind it.