mines (industrial complexes) (300000390) 'distinguished from' quarries (extracting complexes) (300000402);