what month is numbered 12 in the alternative month system?
(AND time.month (JOIN time.month.alternative_month_number 12^^http://www.w3.org/2001/XMLSchema#integer))