"Gruveanlegg" er et 11-bokstavers substantiv som brukes som synonym for "gruveselskap". gruveselskap betyr: Anlegg for gruvedrift.