(n.) A place where coal is dug, including the machinery for raising the coal.