#Christmas__Christmastide__Christmastime__Yule__Yuletide__Noel  period extending from Dec. 24 to Jan. 6
  supertype:  season.time_period  a recurrent time marked by major holidays; "it was the Christmas season"
  part of:  January  December
  part:  Boxing_Day  (British) first weekday after Christmas

No statement uses or specializes Christmas; click here to add one.