"gruveløper" er et 10-bokstavers substantiv som brukes som synonym for "bergarbeider". bergarbeider betyr: Person som arbeider i gruve