<human>: Is "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)." a good answer to the question "How many official Greek mandatory public holidays are there?"
OPTIONS:
- yes
- no
<bot>: yes