what are months in the calendar system which has june as a month name?
(AND time.month (JOIN (R time.calendar.months) (JOIN time.calendar.month_names m.040fb)))