which holiday is on december 25 and is also part of the christmastide?
(AND time.holiday (AND (JOIN time.holiday.day_of_year m.029hk) (JOIN time.holiday.holiday_period m.02rb95)))