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