working
workings
a mine or quarry that is being or has been worked