premise: The 257 steps that climb steeply above the main shopping street, the Avenida Ferman Sanz Orrio, lead to the old village.
hypothesis: There are 257 steps leading up to the old village above the Avenida Ferman Sanz Orrio.