Input (grade 10): Cinco de Mayo is a regional holiday limited primarily to the state of Puebla.
Output (grade 9): Cinco de Mayo is a regional holiday limited mostly to the state of Puebla.