quarry

"quarry" means any open or underground excavation made for extracting and removing rock material from any land and includes the crushing, the process of grinding, or other treatment work of such material on the site or elsewhere;
PU(A) 128/2004 - OCCUPATIONAL SAFETY AND HEALTH (NOTIFICATION OF ACCIDENT, DANGEROUS OCCURRENCE, OCCUPATIONAL POISONING AND OCCUPATIONAL DISEASE) REGULATIONS 2004
2. Interpretation.