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