"graving" er et 7-bokstavers substantiv som brukes som synonym for "mineleggerer". mineleggerer betyr: Handling å grave