what are months in the calendar system which has may as a month name?
(AND time.month (JOIN (R time.calendar.months) (JOIN time.calendar.month_names m.04w_7)))