#Columbus_Day__Discovery_Day__October_12  a legal holiday commemorating the discovery of America by Christopher Columbus
  supertype:  legal_holiday__national_holiday  authorized by law and limiting work or official business
  part of:  October__Oct  the month following September and preceding November
     part of:  Gregorian_calendar__New_Style  the solar calendar now in general use, introduced by Pope Gregory XIII in 1582 AD to correct an error in the Julian calendar by suppressing 10 days, making Oct 5 be called Oct 15, and providing that only centenary years divisible by 400 should be leap years; it was adopted by Great Britain and the American colonies in 1752
     part of:  autumn__fall  the season when the leaves fall from the trees; "in the fall of 1973"

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