Assertion: leprechaun | /r/HasProperty | the mascot
Facets:
Source sentences:
text: The best-known leprechaun in modern times is Lucky the Leprechaun, the mascot for Lucky Charms breakfast cereal; Boston's NBA team, the Celtics, also has a leprechaun mascot, as does the college of Notre Dame, whose sports teams are known as the “Fighting Irish.