federal holiday in the United States Deductions 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)