Text: Adjacent to the cathedral is the lovely Igreja de Santo Antenio da Se, named for Lisbon's patron saint, St. Anthony of Padua.
Entailment: St. Anthony of Padua is recognized as a saint in Lisbon.
Contradiction: The Igreja de Santo Antenio da Se is on the other side of the city from the cathedral.