"gruvearbeider" er et 13-bokstavers substantiv som brukes som synonym for "bergarbeidere". bergarbeidere betyr: En person som arbeider i gruve