what month is also known by the number 5?
(AND time.month (JOIN time.month.alternative_month_number 5^^http://www.w3.org/2001/XMLSchema#integer))