"graver" er et 6-bokstavers substantiv som brukes som synonym for "mineleggerer". mineleggerer betyr: En som graver eller anlegger graver