Речник на българския език
бяха гравирали е производна форма на гравирам (мин. пред. вр., 3 л., мн. ч.).