"gravminner" er et 10-bokstavers substantiv som brukes som synonym for "gravenstenene". gravenstenene betyr: Markeringsmerker på gravstedet, ofte steiner eller monumenter.