valid {
    input.Body.request.maxPrice == STRING
    input.Body.request.passengers.adultCount == INTEGER
    input.Body.request.passengers.childCount == INTEGER
    input.Body.request.passengers.infantInLapCount == INTEGER
    input.Body.request.passengers.infantInSeatCount == INTEGER
    input.Body.request.passengers.kind == STRING
    input.Body.request.passengers.seniorCount == INTEGER
    input.Body.request.refundable == BOOLEAN
    input.Body.request.saleCountry == STRING
    input.Body.request.slice[_].alliance == STRING
    input.Body.request.slice[_].date == STRING
    input.Body.request.slice[_].destination == STRING
    input.Body.request.slice[_].kind == STRING
    input.Body.request.slice[_].maxConnectionDuration == INTEGER
    input.Body.request.slice[_].maxStops == INTEGER
    input.Body.request.slice[_].origin == STRING
    input.Body.request.slice[_].permittedCarrier[_] == STRING
    input.Body.request.slice[_].permittedDepartureTime.earliestTime == STRING
    input.Body.request.slice[_].permittedDepartureTime.kind == STRING
    input.Body.request.slice[_].permittedDepartureTime.latestTime == STRING
    input.Body.request.slice[_].preferredCabin == STRING
    input.Body.request.slice[_].prohibitedCarrier[_] == STRING
    input.Body.request.solutions == INTEGER
    input.Body.request.ticketingCountry == STRING
    input.ProviderMetadata.Region == STRING
}