"gravemaskiner" er et 13-bokstavers substantiv som brukes som synonym for "grøftemaskinene". grøftemaskinene betyr: Maskiner brukt til å grave grøfter og fundamenter.