Title: Glossary of Terms Used in the Coal-Mining Districts