"gruvearbeider" er et 13-bokstavers substantiv som brukes som synonym for "bergarbeider". bergarbeider betyr: Person som arbeider i gruve