jain holiday is what?
(AND time.holiday (JOIN time.holiday.type_of_holiday m.0w5jql8))