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