which deity is worshiped by a religion with holidays including shrove monday?
(AND religion.deity (JOIN religion.deity.deity_of (JOIN religion.religion.holidays m.094xqd)))