A 1514 census recorded 5,000 inhabitants.
The census did not include native inhabitants.
mnli hypothesis: The census did not include native inhabitants. premise: A 1514 census recorded 5,000 inhabitants.