holiday

Deductions

• holiday is for example Independence Day ⇐ (Independence Day is a holiday), (is a is inverse of is for example)
• 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 is a holiday ⇐ (public holiday is subclass of holiday), (New Year's Day is a public holiday)
• Independence Day is a holiday ⇐ (public holiday is subclass of holiday), (Independence Day is a public holiday)