Input (grade 13): Washington's Birthday is a United States federal holiday celebrated on the third Monday of February.
Output (grade 6): The holiday is held on the third Monday in February.