New Year's Day
Deductions
- holiday is for example New Year's Day ⇐ (New Year's Day is a holiday), (is a is inverse of is for example)
- New Year's Day has quality calendar date ⇐ (New Year's Day is a holiday), (holiday has quality calendar date)
- New Year's Day is a holiday ⇐ (public holiday is subclass of holiday), (New Year's Day is a public holiday)
- public holiday is for example New Year's Day ⇐ (New Year's Day is a public holiday), (is a is inverse of is for example)