Assertion: leprechaun | /r/HasProperty | registered as official university mark
Facets:
Source sentences:
text: The Leprechaun was named the official mascot in 1965, when the Leprechaun was registered as an official university mark.