{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "title": "Arrival",
  "type": "object",
  "properties": {
    "terminal": {
      "$ref": "#/definitions/Terminal"
    },
    "gate": {
      "$ref": "#/definitions/Gate"
    },
    "timings": {
      "type": "array",
      "description": "the list of timings",
      "items": {
        "$ref": "#/definitions/Timing"
      }
    }
  }
}