the belief of mahdi is featured in a religion with what holiday?
(AND time.holiday (JOIN time.holiday.featured_in_religions (JOIN (R religion.belief.belief_of) m.019vqj)))