Input (grade 10): In the Irish calendar May 1 is Beltane (Bealtaine), the first day of Summer, and a public holiday is held on the first Monday in May.
Output (grade 8): In the United Kingdom, May Day is May 1st, but a public holiday is held on the first Monday in May.