which calendar system has may 17 as one of its days of year?
(AND time.calendar (JOIN time.calendar.days_of_year m.04yxn))