{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "schema:PoliceStation",
  "title": "PoliceStation",
  "description": "A police station.",
  "type": "object",
  "allOf": [
    {
      "description": "A public structure, such as a town hall or concert hall.",
      "$ref": "schema:CivicStructure"
    },
    {
      "description": "An emergency service, such as a fire station or ER.",
      "$ref": "schema:EmergencyService"
    }
  ]
}