Premise: The Santa Cova Funicular (Catalan: "Funicular de la Santa Cova" ) is a funicular railway at Montserrat, near Barcelona in Catalonia, Spain. The line descends from the monastery, and the upper terminus of the Montserrat Rack Railway, on a continuous curve to a lower station that gives access, via a path, to Santa Cova, a shrine lower down the mountain.
Hypothesis: Barcelona is the biggest city in Spain.