What Miami-Dade County holds among the buildings this research has examined.
Government1 building1 city
This is what the research found, not a portfolio: it counts only the buildings on the cities examined so far, and only where a document names the owner.