Mine or quarry definition

Mine or quarry means an underground or surface rock or mineral
Mine or quarry means an underground or surface rock or mineral extracting, placer, dredging or bore‑hole operation including all grinding and metal mills, washer plants and any other cutting, crushing, grinding, screening, sizing, washing or cleaning operation performed on extracted rocks or minerals.