what holiday has part of it in eid al-adha?
(AND time.holiday (JOIN time.holiday.holiday_period m.01_403))