what is the holiday category used to describe israeli national holiday?
(AND time.holiday_category (JOIN (R time.holiday.type_of_holiday) (JOIN time.holiday.type_of_holiday m.04p85rl)))