valid {
    input.Body.flights[_].departureDate.day == INTEGER
    input.Body.flights[_].departureDate.month == INTEGER
    input.Body.flights[_].departureDate.year == INTEGER
    input.Body.flights[_].destination == STRING
    input.Body.flights[_].flightNumber == INTEGER
    input.Body.flights[_].operatingCarrierCode == STRING
    input.Body.flights[_].origin == STRING
    input.ProviderMetadata.Region == STRING
}