mnli premise: Adjacent to the cathedral is the lovely Igreja de Santo Antenio da Se, named for Lisbon's patron saint, St. Anthony of Padua. hypothesis: St. Anthony of Padua is recognized as a saint in Lisbon.