what type of holiday is the holiday on may 25?
(AND time.holiday_category (JOIN (R time.holiday.type_of_holiday) (JOIN time.holiday.day_of_year m.04x3r)))