"gravskilt" er et 9-bokstavers substantiv som brukes som synonym for "gravenstenene". gravenstenene betyr: Skilt eller stein som angir gravens plassering.