The population of Formentera's chief city has expanded to around 1,000, and there is a new town hall.
There is a new town hall in Formentera's chief city.
mnli hypothesis: There is a new town hall in Formentera's chief city. premise: The population of Formentera's chief city has expanded to around 1,000, and there is a new town hall.