which holiday has part of it in high holy day?
(AND time.holiday (JOIN time.holiday.holiday_period m.03nx3d))