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