valid {
    input.ReqMap.botName == STRING
    input.ReqMap.botAlias == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.botName == STRING
    input.ReqMap.botAlias == STRING
    input.ReqMap.userId == STRING
    input.Qs.checkpointLabelFilter == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.inputStream == BLOB
    input.ReqMap.botName == STRING
    input.ReqMap.botAlias == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.sessionAttributes.STRING == STRING
    input.Body.requestAttributes.STRING == STRING
    input.Body.inputText == STRING
    input.Body.activeContexts[_].name == STRING
    input.Body.activeContexts[_].timeToLive.timeToLiveInSeconds == INTEGER
    input.Body.activeContexts[_].timeToLive.turnsToLive == INTEGER
    input.Body.activeContexts[_].parameters.STRING == STRING
    input.ReqMap.botName == STRING
    input.ReqMap.botAlias == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ConfirmationStatus := [ "None", "Confirmed", "Denied" ]
enum_DialogActionType := [ "ElicitIntent", "ConfirmIntent", "ElicitSlot", "Close", "Delegate" ]
enum_FulfillmentState := [ "Fulfilled", "Failed", "ReadyForFulfillment" ]
enum_MessageFormatType := [ "PlainText", "CustomPayload", "SSML", "Composite" ]

valid {
    input.Body.sessionAttributes.STRING == STRING
    input.Body.dialogAction.type == enum_DialogActionType[_]
    input.Body.dialogAction.intentName == STRING
    input.Body.dialogAction.slots.STRING == STRING
    input.Body.dialogAction.slotToElicit == STRING
    input.Body.dialogAction.fulfillmentState == enum_FulfillmentState[_]
    input.Body.dialogAction.message == STRING
    input.Body.dialogAction.messageFormat == enum_MessageFormatType[_]
    input.Body.recentIntentSummaryView[_].intentName == STRING
    input.Body.recentIntentSummaryView[_].checkpointLabel == STRING
    input.Body.recentIntentSummaryView[_].slots.STRING == STRING
    input.Body.recentIntentSummaryView[_].confirmationStatus == enum_ConfirmationStatus[_]
    input.Body.recentIntentSummaryView[_].dialogActionType == enum_DialogActionType[_]
    input.Body.recentIntentSummaryView[_].fulfillmentState == enum_FulfillmentState[_]
    input.Body.recentIntentSummaryView[_].slotToElicit == STRING
    input.Body.activeContexts[_].name == STRING
    input.Body.activeContexts[_].timeToLive.timeToLiveInSeconds == INTEGER
    input.Body.activeContexts[_].timeToLive.turnsToLive == INTEGER
    input.Body.activeContexts[_].parameters.STRING == STRING
    input.ReqMap.botName == STRING
    input.ReqMap.botAlias == STRING
    input.ReqMap.userId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}