a workplace consisting of a coal mine plus all the buildings and equipment connected with it
[ Syn: pit ]