I want to know the answer to the following question:
How many official Greek mandatory public holidays are there?
All the background I'm provided with is that "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).". Is that enough to answer the question?
Answer: yes