the religion that has the belief of sovereign grace has what holiday?
(AND time.holiday (JOIN time.holiday.featured_in_religions (JOIN (R religion.belief.belief_of) m.03ncyj)))