The loveliest avenue, the Prado (formally known as Paseo de Marta), runs from Parque Central to the sea.
The Prado is the loveliest avenue.
mnli hypothesis: The Prado is the loveliest avenue. premise: The loveliest avenue, the Prado (formally known as Paseo de Marta), runs from Parque Central to the sea.