#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.