Premise: The Ayuntamiento (CityHall) building, connected by passageway, represents the Hapsburg era, with the towers and slate spires characteristic of the 17th-century official buildings common in this district of Madrid.

Hypothesis: The Ayuntamiento is also referred to as the City Hall Building 
Relation: entailment