12 is the alternative month number of which month?
(AND time.month (JOIN time.month.alternative_month_number 12^^http://www.w3.org/2001/XMLSchema#integer))