what religion celebrates pentecost monday ?
(AND religion.religion (JOIN religion.religion.holidays m.02hzc1))