sukkot contains part of which holiday?
(AND time.holiday (JOIN time.holiday.holiday_period m.072qz))