what is the name of the holiday category that is the holiday with a holiday category of pagan holiday?
(AND time.holiday_category (JOIN (R time.holiday.type_of_holiday) (JOIN time.holiday.type_of_holiday m.02h7b56)))