Assertion: cinco de mayo | /r/HasProperty | public holiday
Facets:
value: in puebla
type: LOCATION
Source sentences:
text: Cinco de Mayo is considered a day of great importance but is a public holiday in Puebla only.
text: Is Cinco de Mayo a Public Holiday?