Assertion: trip hammer | /r/ObjectUse | used in mining
Facets:
value: for crushing metal ores
type: PURPOSE
Source sentences:
text: In mining, trip hammers were used for crushing metal ores into small pieces, although a stamp mill was more usual for this.