Independence Day

Deductions

• public holiday is for example Independence Day ⇐ (Independence Day is a public holiday), (is a is inverse of is for example)
• holiday is for example Independence Day ⇐ (Independence Day is a holiday), (is a is inverse of is for example)
• Independence Day has quality calendar date ⇐ (Independence Day is a holiday), (holiday has quality calendar date)
• Independence Day is a holiday ⇐ (public holiday is subclass of holiday), (Independence Day is a public holiday)
• Independence Day is a public holiday ⇐ (federal holiday in the United States is subclass of public holiday), (Independence Day is a federal holiday in the United States)
• federal holiday in the United States is for example Independence Day ⇐ (Independence Day is a federal holiday in the United States), (is a is inverse of is for example)