what type of holiday is festa della repubblica?
(AND time.holiday_category (JOIN time.holiday_category.holidays m.03m5cbt))