what is the holiday on march 25 that is a holiday of western christian church?
(AND time.holiday (AND (JOIN (R religion.religion.holidays) m.0bljp) (JOIN time.holiday.day_of_year m.04_3c)))