#holy_day_of_obligation  a day when Catholics must attend Mass and refrain from servile work, and Episcopalians must take Communion
  supertype:  #Christian_holy_day  a religious holiday for Christians
  subtype:  #Solemnity_of_Mary__January_1  (Roman Catholic) a holy day of obligation
  subtype:  #Ascension_of_the_Lord__Ascension__Ascension_Day  the 40th day after Easter; celebrates the Ascension of Christ into heaven
  subtype:  #Assumption_of_Mary__Assumption__August_15  celebration of the Virgin Mary's being taken up into heaven when her earthly life ended
  subtype:  #All_Saints'_Day__Allhallows__November_1__Hallowmas__Hallowmass  a Christian feast day honoring all the saints; first observed in 835
  subtype:  #December_8__Immaculate_Conception  Roman Catholic holy day first celebrated in 1854
  subtype:  #Christmas_Day__Christmas__Xmas__Dec_25  a Christian holiday celebrating the birth of Christ; a quarter day in England, Wales, and Ireland

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