mnli premise: Avenida Arriaga ends at the Praca do Infante, where a statue of Prince Henry the Navigator (a copy of the one at Lagos in the Algarve) sits at the easternmost tip of Parque Santa Catarina (St. Catherine Park). hypothesis: The park doesn't have a statue of Prince Henry the Navigator located in it.