Title: a dictionary of mining mineral and related terms