"A quarry is a type of open-pit mine in which dimension stone, rock, construction aggregate, riprap, sand, gravel, or slate is excavated from the ground.
The word quarry can also include the underground quarrying for stone, such as Bath stone." - (en.wikipedia.org 03.12.2019)
en