an civic holiday is what?
(AND time.holiday (JOIN time.holiday.type_of_holiday m.04tk83))