Question: How many official Greek mandatory public holidays are there?
Sentence: In addition, there are four mandatory official public holidays: 25 March (Greek Independence Day), Easter Monday, 15 August (Assumption or Dormition of the Holy Virgin), and 25 December (Christmas).
Answer in sentence: yes