"gravere" er et 7-bokstavers substantiv som brukes som synonym for "anleggsfolk". anleggsfolk betyr: Personer som graver eller gjør utgravinger