[Contains information from `"`HDB Carpark Information`"` accessed on 1 Apr 2023 from https://data.gov.sg/dataset/hdb-carpark-information which is made available under the terms of the Singapore Open Data Licence version 1.0 https://data.gov.sg/open-data-licence]*