valid {
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Assignee.BusinessTitle == STRING
    input.Body.Assignee.Email == STRING
    input.Body.Assignee.FirstName == STRING
    input.Body.Assignee.LastName == STRING
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RelatedEntityType := [ "Solutions", "AwsProducts", "AwsMarketplaceOffers" ]

valid {
    input.Body.Catalog == STRING
    input.Body.OpportunityIdentifier == STRING
    input.Body.RelatedEntityIdentifier == STRING
    input.Body.RelatedEntityType == enum_RelatedEntityType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CountryCode := [ "US", "AF", "AX", "AL", "DZ", "AS", "AD", "AO", "AI", "AQ", "AG", "AR", "AM", "AW", "AU", "AT", "AZ", "BS", "BH", "BD", "BB", "BY", "BE", "BZ", "BJ", "BM", "BT", "BO", "BQ", "BA", "BW", "BV", "BR", "IO", "BN", "BG", "BF", "BI", "KH", "CM", "CA", "CV", "KY", "CF", "TD", "CL", "CN", "CX", "CC", "CO", "KM", "CG", "CK", "CR", "CI", "HR", "CU", "CW", "CY", "CZ", "CD", "DK", "DJ", "DM", "DO", "EC", "EG", "SV", "GQ", "ER", "EE", "ET", "FK", "FO", "FJ", "FI", "FR", "GF", "PF", "TF", "GA", "GM", "GE", "DE", "GH", "GI", "GR", "GL", "GD", "GP", "GU", "GT", "GG", "GN", "GW", "GY", "HT", "HM", "VA", "HN", "HK", "HU", "IS", "IN", "ID", "IR", "IQ", "IE", "IM", "IL", "IT", "JM", "JP", "JE", "JO", "KZ", "KE", "KI", "KR", "KW", "KG", "LA", "LV", "LB", "LS", "LR", "LY", "LI", "LT", "LU", "MO", "MK", "MG", "MW", "MY", "MV", "ML", "MT", "MH", "MQ", "MR", "MU", "YT", "MX", "FM", "MD", "MC", "MN", "ME", "MS", "MA", "MZ", "MM", "NA", "NR", "NP", "NL", "AN", "NC", "NZ", "NI", "NE", "NG", "NU", "NF", "MP", "NO", "OM", "PK", "PW", "PS", "PA", "PG", "PY", "PE", "PH", "PN", "PL", "PT", "PR", "QA", "RE", "RO", "RU", "RW", "BL", "SH", "KN", "LC", "MF", "PM", "VC", "WS", "SM", "ST", "SA", "SN", "RS", "SC", "SL", "SG", "SX", "SK", "SI", "SB", "SO", "ZA", "GS", "SS", "ES", "LK", "SD", "SR", "SJ", "SZ", "SE", "CH", "SY", "TW", "TJ", "TZ", "TH", "TL", "TG", "TK", "TO", "TT", "TN", "TR", "TM", "TC", "TV", "UG", "UA", "AE", "GB", "UM", "UY", "UZ", "VU", "VE", "VN", "VG", "VI", "WF", "EH", "YE", "ZM", "ZW" ]
enum_EngagementContextType := [ "CustomerProject" ]
enum_Industry := [ "Aerospace", "Agriculture", "Automotive", "Computers and Electronics", "Consumer Goods", "Education", "Energy - Oil and Gas", "Energy - Power and Utilities", "Financial Services", "Gaming", "Government", "Healthcare", "Hospitality", "Life Sciences", "Manufacturing", "Marketing and Advertising", "Media and Entertainment", "Mining", "Non-Profit Organization", "Professional Services", "Real Estate and Construction", "Retail", "Software and Internet", "Telecommunications", "Transportation and Logistics", "Travel", "Wholesale and Distribution", "Other" ]

valid {
    input.Body.Catalog == STRING
    input.Body.ClientToken == STRING
    input.Body.Contexts[_].Payload.CustomerProject.Customer.CompanyName == STRING
    input.Body.Contexts[_].Payload.CustomerProject.Customer.CountryCode == enum_CountryCode[_]
    input.Body.Contexts[_].Payload.CustomerProject.Customer.Industry == enum_Industry[_]
    input.Body.Contexts[_].Payload.CustomerProject.Customer.WebsiteUrl == STRING
    input.Body.Contexts[_].Payload.CustomerProject.Project.BusinessProblem == STRING
    input.Body.Contexts[_].Payload.CustomerProject.Project.TargetCompletionDate == STRING
    input.Body.Contexts[_].Payload.CustomerProject.Project.Title == STRING
    input.Body.Contexts[_].Type == enum_EngagementContextType[_]
    input.Body.Description == STRING
    input.Body.Title == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_CountryCode := [ "US", "AF", "AX", "AL", "DZ", "AS", "AD", "AO", "AI", "AQ", "AG", "AR", "AM", "AW", "AU", "AT", "AZ", "BS", "BH", "BD", "BB", "BY", "BE", "BZ", "BJ", "BM", "BT", "BO", "BQ", "BA", "BW", "BV", "BR", "IO", "BN", "BG", "BF", "BI", "KH", "CM", "CA", "CV", "KY", "CF", "TD", "CL", "CN", "CX", "CC", "CO", "KM", "CG", "CK", "CR", "CI", "HR", "CU", "CW", "CY", "CZ", "CD", "DK", "DJ", "DM", "DO", "EC", "EG", "SV", "GQ", "ER", "EE", "ET", "FK", "FO", "FJ", "FI", "FR", "GF", "PF", "TF", "GA", "GM", "GE", "DE", "GH", "GI", "GR", "GL", "GD", "GP", "GU", "GT", "GG", "GN", "GW", "GY", "HT", "HM", "VA", "HN", "HK", "HU", "IS", "IN", "ID", "IR", "IQ", "IE", "IM", "IL", "IT", "JM", "JP", "JE", "JO", "KZ", "KE", "KI", "KR", "KW", "KG", "LA", "LV", "LB", "LS", "LR", "LY", "LI", "LT", "LU", "MO", "MK", "MG", "MW", "MY", "MV", "ML", "MT", "MH", "MQ", "MR", "MU", "YT", "MX", "FM", "MD", "MC", "MN", "ME", "MS", "MA", "MZ", "MM", "NA", "NR", "NP", "NL", "AN", "NC", "NZ", "NI", "NE", "NG", "NU", "NF", "MP", "NO", "OM", "PK", "PW", "PS", "PA", "PG", "PY", "PE", "PH", "PN", "PL", "PT", "PR", "QA", "RE", "RO", "RU", "RW", "BL", "SH", "KN", "LC", "MF", "PM", "VC", "WS", "SM", "ST", "SA", "SN", "RS", "SC", "SL", "SG", "SX", "SK", "SI", "SB", "SO", "ZA", "GS", "SS", "ES", "LK", "SD", "SR", "SJ", "SZ", "SE", "CH", "SY", "TW", "TJ", "TZ", "TH", "TL", "TG", "TK", "TO", "TT", "TN", "TR", "TM", "TC", "TV", "UG", "UA", "AE", "GB", "UM", "UY", "UZ", "VU", "VE", "VN", "VG", "VI", "WF", "EH", "YE", "ZM", "ZW" ]
enum_ExpectedCustomerSpendCurrencyCodeEnum := [ "USD", "EUR", "GBP", "AUD", "CAD", "CNY", "NZD", "INR", "JPY", "CHF", "SEK", "AED", "AFN", "ALL", "AMD", "ANG", "AOA", "ARS", "AWG", "AZN", "BAM", "BBD", "BDT", "BGN", "BHD", "BIF", "BMD", "BND", "BOB", "BOV", "BRL", "BSD", "BTN", "BWP", "BYN", "BZD", "CDF", "CHE", "CHW", "CLF", "CLP", "COP", "COU", "CRC", "CUC", "CUP", "CVE", "CZK", "DJF", "DKK", "DOP", "DZD", "EGP", "ERN", "ETB", "FJD", "FKP", "GEL", "GHS", "GIP", "GMD", "GNF", "GTQ", "GYD", "HKD", "HNL", "HRK", "HTG", "HUF", "IDR", "ILS", "IQD", "IRR", "ISK", "JMD", "JOD", "KES", "KGS", "KHR", "KMF", "KPW", "KRW", "KWD", "KYD", "KZT", "LAK", "LBP", "LKR", "LRD", "LSL", "LYD", "MAD", "MDL", "MGA", "MKD", "MMK", "MNT", "MOP", "MRU", "MUR", "MVR", "MWK", "MXN", "MXV", "MYR", "MZN", "NAD", "NGN", "NIO", "NOK", "NPR", "OMR", "PAB", "PEN", "PGK", "PHP", "PKR", "PLN", "PYG", "QAR", "RON", "RSD", "RUB", "RWF", "SAR", "SBD", "SCR", "SDG", "SGD", "SHP", "SLL", "SOS", "SRD", "SSP", "STN", "SVC", "SYP", "SZL", "THB", "TJS", "TMT", "TND", "TOP", "TRY", "TTD", "TWD", "TZS", "UAH", "UGX", "USN", "UYI", "UYU", "UZS", "VEF", "VND", "VUV", "WST", "XAF", "XCD", "XDR", "XOF", "XPF", "XSU", "XUA", "YER", "ZAR", "ZMW", "ZWL" ]
enum_Industry := [ "Aerospace", "Agriculture", "Automotive", "Computers and Electronics", "Consumer Goods", "Education", "Energy - Oil and Gas", "Energy - Power and Utilities", "Financial Services", "Gaming", "Government", "Healthcare", "Hospitality", "Life Sciences", "Manufacturing", "Marketing and Advertising", "Media and Entertainment", "Mining", "Non-Profit Organization", "Professional Services", "Real Estate and Construction", "Retail", "Software and Internet", "Telecommunications", "Transportation and Logistics", "Travel", "Wholesale and Distribution", "Other" ]
enum_PaymentFrequency := [ "Monthly" ]
enum_ReceiverResponsibility := [ "Distributor", "Reseller", "Hardware Partner", "Managed Service Provider", "Software Partner", "Services Partner", "Training Partner", "Co-Sell Facilitator", "Facilitator" ]

valid {
    input.Body.Catalog == STRING
    input.Body.ClientToken == STRING
    input.Body.EngagementIdentifier == STRING
    input.Body.Invitation.Message == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Customer.CompanyName == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Customer.CountryCode == enum_CountryCode[_]
    input.Body.Invitation.Payload.OpportunityInvitation.Customer.Industry == enum_Industry[_]
    input.Body.Invitation.Payload.OpportunityInvitation.Customer.WebsiteUrl == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Project.BusinessProblem == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Project.ExpectedCustomerSpend[_].Amount == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Project.ExpectedCustomerSpend[_].CurrencyCode == enum_ExpectedCustomerSpendCurrencyCodeEnum[_]
    input.Body.Invitation.Payload.OpportunityInvitation.Project.ExpectedCustomerSpend[_].EstimationUrl == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Project.ExpectedCustomerSpend[_].Frequency == enum_PaymentFrequency[_]
    input.Body.Invitation.Payload.OpportunityInvitation.Project.ExpectedCustomerSpend[_].TargetCompany == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Project.TargetCompletionDate == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.Project.Title == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.ReceiverResponsibilities[_] == enum_ReceiverResponsibility[_]
    input.Body.Invitation.Payload.OpportunityInvitation.SenderContacts[_].BusinessTitle == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.SenderContacts[_].Email == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.SenderContacts[_].FirstName == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.SenderContacts[_].LastName == STRING
    input.Body.Invitation.Payload.OpportunityInvitation.SenderContacts[_].Phone == STRING
    input.Body.Invitation.Receiver.Account.Alias == STRING
    input.Body.Invitation.Receiver.Account.AwsAccountId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AwsFundingUsed := [ "Yes", "No" ]
enum_Channel := [ "AWS Marketing Central", "Content Syndication", "Display", "Email", "Live Event", "Out Of Home (OOH)", "Print", "Search", "Social", "Telemarketing", "TV", "Video", "Virtual Event" ]
enum_ClosedLostReason := [ "Customer Deficiency", "Delay / Cancellation of Project", "Legal / Tax / Regulatory", "Lost to Competitor - Google", "Lost to Competitor - Microsoft", "Lost to Competitor - SoftLayer", "Lost to Competitor - VMWare", "Lost to Competitor - Other", "No Opportunity", "On Premises Deployment", "Partner Gap", "Price", "Security / Compliance", "Technical Limitations", "Customer Experience", "Other", "People/Relationship/Governance", "Product/Technology", "Financial/Commercial" ]
enum_CompetitorName := [ "Oracle Cloud", "On-Prem", "Co-location", "Akamai", "AliCloud", "Google Cloud Platform", "IBM Softlayer", "Microsoft Azure", "Other- Cost Optimization", "No Competition", "*Other" ]
enum_CountryCode := [ "US", "AF", "AX", "AL", "DZ", "AS", "AD", "AO", "AI", "AQ", "AG", "AR", "AM", "AW", "AU", "AT", "AZ", "BS", "BH", "BD", "BB", "BY", "BE", "BZ", "BJ", "BM", "BT", "BO", "BQ", "BA", "BW", "BV", "BR", "IO", "BN", "BG", "BF", "BI", "KH", "CM", "CA", "CV", "KY", "CF", "TD", "CL", "CN", "CX", "CC", "CO", "KM", "CG", "CK", "CR", "CI", "HR", "CU", "CW", "CY", "CZ", "CD", "DK", "DJ", "DM", "DO", "EC", "EG", "SV", "GQ", "ER", "EE", "ET", "FK", "FO", "FJ", "FI", "FR", "GF", "PF", "TF", "GA", "GM", "GE", "DE", "GH", "GI", "GR", "GL", "GD", "GP", "GU", "GT", "GG", "GN", "GW", "GY", "HT", "HM", "VA", "HN", "HK", "HU", "IS", "IN", "ID", "IR", "IQ", "IE", "IM", "IL", "IT", "JM", "JP", "JE", "JO", "KZ", "KE", "KI", "KR", "KW", "KG", "LA", "LV", "LB", "LS", "LR", "LY", "LI", "LT", "LU", "MO", "MK", "MG", "MW", "MY", "MV", "ML", "MT", "MH", "MQ", "MR", "MU", "YT", "MX", "FM", "MD", "MC", "MN", "ME", "MS", "MA", "MZ", "MM", "NA", "NR", "NP", "NL", "AN", "NC", "NZ", "NI", "NE", "NG", "NU", "NF", "MP", "NO", "OM", "PK", "PW", "PS", "PA", "PG", "PY", "PE", "PH", "PN", "PL", "PT", "PR", "QA", "RE", "RO", "RU", "RW", "BL", "SH", "KN", "LC", "MF", "PM", "VC", "WS", "SM", "ST", "SA", "SN", "RS", "SC", "SL", "SG", "SX", "SK", "SI", "SB", "SO", "ZA", "GS", "SS", "ES", "LK", "SD", "SR", "SJ", "SZ", "SE", "CH", "SY", "TW", "TJ", "TZ", "TH", "TL", "TG", "TK", "TO", "TT", "TN", "TR", "TM", "TC", "TV", "UG", "UA", "AE", "GB", "UM", "UY", "UZ", "VU", "VE", "VN", "VG", "VI", "WF", "EH", "YE", "ZM", "ZW" ]
enum_CurrencyCode := [ "USD", "EUR", "GBP", "AUD", "CAD", "CNY", "NZD", "INR", "JPY", "CHF", "SEK", "AED", "AFN", "ALL", "AMD", "ANG", "AOA", "ARS", "AWG", "AZN", "BAM", "BBD", "BDT", "BGN", "BHD", "BIF", "BMD", "BND", "BOB", "BOV", "BRL", "BSD", "BTN", "BWP", "BYN", "BZD", "CDF", "CHE", "CHW", "CLF", "CLP", "COP", "COU", "CRC", "CUC", "CUP", "CVE", "CZK", "DJF", "DKK", "DOP", "DZD", "EGP", "ERN", "ETB", "FJD", "FKP", "GEL", "GHS", "GIP", "GMD", "GNF", "GTQ", "GYD", "HKD", "HNL", "HRK", "HTG", "HUF", "IDR", "ILS", "IQD", "IRR", "ISK", "JMD", "JOD", "KES", "KGS", "KHR", "KMF", "KPW", "KRW", "KWD", "KYD", "KZT", "LAK", "LBP", "LKR", "LRD", "LSL", "LYD", "MAD", "MDL", "MGA", "MKD", "MMK", "MNT", "MOP", "MRU", "MUR", "MVR", "MWK", "MXN", "MXV", "MYR", "MZN", "NAD", "NGN", "NIO", "NOK", "NPR", "OMR", "PAB", "PEN", "PGK", "PHP", "PKR", "PLN", "PYG", "QAR", "RON", "RSD", "RUB", "RWF", "SAR", "SBD", "SCR", "SDG", "SGD", "SHP", "SLL", "SOS", "SRD", "SSP", "STN", "SVC", "SYP", "SZL", "THB", "TJS", "TMT", "TND", "TOP", "TRY", "TTD", "TWD", "TZS", "UAH", "UGX", "USN", "UYI", "UYU", "UZS", "VEF", "VND", "VUV", "WST", "XAF", "XCD", "XDR", "XOF", "XPF", "XSU", "XUA", "YER", "ZAR", "ZMW", "ZWL" ]
enum_DeliveryModel := [ "SaaS or PaaS", "BYOL or AMI", "Managed Services", "Professional Services", "Resell", "Other" ]
enum_ExpectedCustomerSpendCurrencyCodeEnum := [ "USD", "EUR", "GBP", "AUD", "CAD", "CNY", "NZD", "INR", "JPY", "CHF", "SEK", "AED", "AFN", "ALL", "AMD", "ANG", "AOA", "ARS", "AWG", "AZN", "BAM", "BBD", "BDT", "BGN", "BHD", "BIF", "BMD", "BND", "BOB", "BOV", "BRL", "BSD", "BTN", "BWP", "BYN", "BZD", "CDF", "CHE", "CHW", "CLF", "CLP", "COP", "COU", "CRC", "CUC", "CUP", "CVE", "CZK", "DJF", "DKK", "DOP", "DZD", "EGP", "ERN", "ETB", "FJD", "FKP", "GEL", "GHS", "GIP", "GMD", "GNF", "GTQ", "GYD", "HKD", "HNL", "HRK", "HTG", "HUF", "IDR", "ILS", "IQD", "IRR", "ISK", "JMD", "JOD", "KES", "KGS", "KHR", "KMF", "KPW", "KRW", "KWD", "KYD", "KZT", "LAK", "LBP", "LKR", "LRD", "LSL", "LYD", "MAD", "MDL", "MGA", "MKD", "MMK", "MNT", "MOP", "MRU", "MUR", "MVR", "MWK", "MXN", "MXV", "MYR", "MZN", "NAD", "NGN", "NIO", "NOK", "NPR", "OMR", "PAB", "PEN", "PGK", "PHP", "PKR", "PLN", "PYG", "QAR", "RON", "RSD", "RUB", "RWF", "SAR", "SBD", "SCR", "SDG", "SGD", "SHP", "SLL", "SOS", "SRD", "SSP", "STN", "SVC", "SYP", "SZL", "THB", "TJS", "TMT", "TND", "TOP", "TRY", "TTD", "TWD", "TZS", "UAH", "UGX", "USN", "UYI", "UYU", "UZS", "VEF", "VND", "VUV", "WST", "XAF", "XCD", "XDR", "XOF", "XPF", "XSU", "XUA", "YER", "ZAR", "ZMW", "ZWL" ]
enum_Industry := [ "Aerospace", "Agriculture", "Automotive", "Computers and Electronics", "Consumer Goods", "Education", "Energy - Oil and Gas", "Energy - Power and Utilities", "Financial Services", "Gaming", "Government", "Healthcare", "Hospitality", "Life Sciences", "Manufacturing", "Marketing and Advertising", "Media and Entertainment", "Mining", "Non-Profit Organization", "Professional Services", "Real Estate and Construction", "Retail", "Software and Internet", "Telecommunications", "Transportation and Logistics", "Travel", "Wholesale and Distribution", "Other" ]
enum_MarketingSource := [ "Marketing Activity", "None" ]
enum_NationalSecurity := [ "Yes", "No" ]
enum_OpportunityOrigin := [ "AWS Referral", "Partner Referral" ]
enum_OpportunityType := [ "Net New Business", "Flat Renewal", "Expansion" ]
enum_PaymentFrequency := [ "Monthly" ]
enum_PrimaryNeedFromAws := [ "Co-Sell - Architectural Validation", "Co-Sell - Business Presentation", "Co-Sell - Competitive Information", "Co-Sell - Pricing Assistance", "Co-Sell - Technical Consultation", "Co-Sell - Total Cost of Ownership Evaluation", "Co-Sell - Deal Support", "Co-Sell - Support for Public Tender / RFx" ]
enum_RevenueModel := [ "Contract", "Pay-as-you-go", "Subscription" ]
enum_ReviewStatus := [ "Pending Submission", "Submitted", "In review", "Approved", "Rejected", "Action Required" ]
enum_SalesActivity := [ "Initialized discussions with customer", "Customer has shown interest in solution", "Conducted POC / Demo", "In evaluation / planning stage", "Agreed on solution to Business Problem", "Completed Action Plan", "Finalized Deployment Need", "SOW Signed" ]
enum_Stage := [ "Prospect", "Qualified", "Technical Validation", "Business Validation", "Committed", "Launched", "Closed Lost" ]

valid {
    input.Body.Catalog == STRING
    input.Body.ClientToken == STRING
    input.Body.Customer.Account.Address.City == STRING
    input.Body.Customer.Account.Address.CountryCode == enum_CountryCode[_]
    input.Body.Customer.Account.Address.PostalCode == STRING
    input.Body.Customer.Account.Address.StateOrRegion == STRING
    input.Body.Customer.Account.Address.StreetAddress == STRING
    input.Body.Customer.Account.AwsAccountId == STRING
    input.Body.Customer.Account.CompanyName == STRING
    input.Body.Customer.Account.Duns == STRING
    input.Body.Customer.Account.Industry == enum_Industry[_]
    input.Body.Customer.Account.OtherIndustry == STRING
    input.Body.Customer.Account.WebsiteUrl == STRING
    input.Body.Customer.Contacts[_].BusinessTitle == STRING
    input.Body.Customer.Contacts[_].Email == STRING
    input.Body.Customer.Contacts[_].FirstName == STRING
    input.Body.Customer.Contacts[_].LastName == STRING
    input.Body.Customer.Contacts[_].Phone == STRING
    input.Body.LifeCycle.ClosedLostReason == enum_ClosedLostReason[_]
    input.Body.LifeCycle.NextSteps == STRING
    input.Body.LifeCycle.NextStepsHistory[_].Time == TIMESTAMP
    input.Body.LifeCycle.NextStepsHistory[_].Value == STRING
    input.Body.LifeCycle.ReviewComments == STRING
    input.Body.LifeCycle.ReviewStatus == enum_ReviewStatus[_]
    input.Body.LifeCycle.ReviewStatusReason == STRING
    input.Body.LifeCycle.Stage == enum_Stage[_]
    input.Body.LifeCycle.TargetCloseDate == STRING
    input.Body.Marketing.AwsFundingUsed == enum_AwsFundingUsed[_]
    input.Body.Marketing.CampaignName == STRING
    input.Body.Marketing.Channels[_] == enum_Channel[_]
    input.Body.Marketing.Source == enum_MarketingSource[_]
    input.Body.Marketing.UseCases[_] == STRING
    input.Body.NationalSecurity == enum_NationalSecurity[_]
    input.Body.OpportunityTeam[_].BusinessTitle == STRING
    input.Body.OpportunityTeam[_].Email == STRING
    input.Body.OpportunityTeam[_].FirstName == STRING
    input.Body.OpportunityTeam[_].LastName == STRING
    input.Body.OpportunityTeam[_].Phone == STRING
    input.Body.OpportunityType == enum_OpportunityType[_]
    input.Body.Origin == enum_OpportunityOrigin[_]
    input.Body.PartnerOpportunityIdentifier == STRING
    input.Body.PrimaryNeedsFromAws[_] == enum_PrimaryNeedFromAws[_]
    input.Body.Project.AdditionalComments == STRING
    input.Body.Project.ApnPrograms[_] == STRING
    input.Body.Project.CompetitorName == enum_CompetitorName[_]
    input.Body.Project.CustomerBusinessProblem == STRING
    input.Body.Project.CustomerUseCase == STRING
    input.Body.Project.DeliveryModels[_] == enum_DeliveryModel[_]
    input.Body.Project.ExpectedCustomerSpend[_].Amount == STRING
    input.Body.Project.ExpectedCustomerSpend[_].CurrencyCode == enum_ExpectedCustomerSpendCurrencyCodeEnum[_]
    input.Body.Project.ExpectedCustomerSpend[_].EstimationUrl == STRING
    input.Body.Project.ExpectedCustomerSpend[_].Frequency == enum_PaymentFrequency[_]
    input.Body.Project.ExpectedCustomerSpend[_].TargetCompany == STRING
    input.Body.Project.OtherCompetitorNames == STRING
    input.Body.Project.OtherSolutionDescription == STRING
    input.Body.Project.RelatedOpportunityIdentifier == STRING
    input.Body.Project.SalesActivities[_] == enum_SalesActivity[_]
    input.Body.Project.Title == STRING
    input.Body.SoftwareRevenue.DeliveryModel == enum_RevenueModel[_]
    input.Body.SoftwareRevenue.EffectiveDate == STRING
    input.Body.SoftwareRevenue.ExpirationDate == STRING
    input.Body.SoftwareRevenue.Value.Amount == STRING
    input.Body.SoftwareRevenue.Value.CurrencyCode == enum_CurrencyCode[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResourceType := [ "Opportunity" ]

valid {
    input.Body.Catalog == STRING
    input.Body.ClientToken == STRING
    input.Body.EngagementIdentifier == STRING
    input.Body.ResourceIdentifier == STRING
    input.Body.ResourceSnapshotTemplateIdentifier == STRING
    input.Body.ResourceType == enum_ResourceType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResourceType := [ "Opportunity" ]

valid {
    input.Body.Catalog == STRING
    input.Body.ClientToken == STRING
    input.Body.EngagementIdentifier == STRING
    input.Body.ResourceIdentifier == STRING
    input.Body.ResourceSnapshotTemplateIdentifier == STRING
    input.Body.ResourceType == enum_ResourceType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.ResourceSnapshotJobIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_RelatedEntityType := [ "Solutions", "AwsProducts", "AwsMarketplaceOffers" ]

valid {
    input.Body.Catalog == STRING
    input.Body.OpportunityIdentifier == STRING
    input.Body.RelatedEntityIdentifier == STRING
    input.Body.RelatedEntityType == enum_RelatedEntityType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.RelatedOpportunityIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResourceType := [ "Opportunity" ]

valid {
    input.Body.Catalog == STRING
    input.Body.EngagementIdentifier == STRING
    input.Body.ResourceIdentifier == STRING
    input.Body.ResourceSnapshotTemplateIdentifier == STRING
    input.Body.ResourceType == enum_ResourceType[_]
    input.Body.Revision == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.ResourceSnapshotJobIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ListTasksSortName := [ "StartTime" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]
enum_TaskStatus := [ "IN_PROGRESS", "COMPLETE", "FAILED" ]

valid {
    input.Body.Catalog == STRING
    input.Body.EngagementInvitationIdentifier[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.OpportunityIdentifier[_] == STRING
    input.Body.Sort.SortBy == enum_ListTasksSortName[_]
    input.Body.Sort.SortOrder == enum_SortOrder[_]
    input.Body.TaskIdentifier[_] == STRING
    input.Body.TaskStatus[_] == enum_TaskStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ListTasksSortName := [ "StartTime" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]
enum_TaskStatus := [ "IN_PROGRESS", "COMPLETE", "FAILED" ]

valid {
    input.Body.Catalog == STRING
    input.Body.EngagementIdentifier[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.OpportunityIdentifier[_] == STRING
    input.Body.Sort.SortBy == enum_ListTasksSortName[_]
    input.Body.Sort.SortOrder == enum_SortOrder[_]
    input.Body.TaskIdentifier[_] == STRING
    input.Body.TaskStatus[_] == enum_TaskStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_EngagementInvitationPayloadType := [ "OpportunityInvitation" ]
enum_InvitationStatus := [ "ACCEPTED", "PENDING", "REJECTED", "EXPIRED" ]
enum_OpportunityEngagementInvitationSortName := [ "InvitationDate" ]
enum_ParticipantType := [ "SENDER", "RECEIVER" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]

valid {
    input.Body.Catalog == STRING
    input.Body.EngagementIdentifier[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.ParticipantType == enum_ParticipantType[_]
    input.Body.PayloadType[_] == enum_EngagementInvitationPayloadType[_]
    input.Body.SenderAwsAccountId[_] == STRING
    input.Body.Sort.SortBy == enum_OpportunityEngagementInvitationSortName[_]
    input.Body.Sort.SortOrder == enum_SortOrder[_]
    input.Body.Status[_] == enum_InvitationStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResourceType := [ "Opportunity" ]

valid {
    input.Body.Catalog == STRING
    input.Body.CreatedBy == STRING
    input.Body.EngagementIdentifier == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.ResourceIdentifier == STRING
    input.Body.ResourceType == enum_ResourceType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_EngagementSortName := [ "CreatedDate" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]

valid {
    input.Body.Catalog == STRING
    input.Body.CreatedBy[_] == STRING
    input.Body.EngagementIdentifier[_] == STRING
    input.Body.ExcludeCreatedBy[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.Sort.SortBy == enum_EngagementSortName[_]
    input.Body.Sort.SortOrder == enum_SortOrder[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_OpportunitySortName := [ "LastModifiedDate", "Identifier", "CustomerCompanyName" ]
enum_ReviewStatus := [ "Pending Submission", "Submitted", "In review", "Approved", "Rejected", "Action Required" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]
enum_Stage := [ "Prospect", "Qualified", "Technical Validation", "Business Validation", "Committed", "Launched", "Closed Lost" ]

valid {
    input.Body.Catalog == STRING
    input.Body.CustomerCompanyName[_] == STRING
    input.Body.Identifier[_] == STRING
    input.Body.LastModifiedDate.AfterLastModifiedDate == TIMESTAMP
    input.Body.LastModifiedDate.BeforeLastModifiedDate == TIMESTAMP
    input.Body.LifeCycleReviewStatus[_] == enum_ReviewStatus[_]
    input.Body.LifeCycleStage[_] == enum_Stage[_]
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.Sort.SortBy == enum_OpportunitySortName[_]
    input.Body.Sort.SortOrder == enum_SortOrder[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResourceSnapshotJobStatus := [ "Running", "Stopped" ]
enum_SortBy := [ "CreatedDate" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]

valid {
    input.Body.Catalog == STRING
    input.Body.EngagementIdentifier == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.Sort.SortBy == enum_SortBy[_]
    input.Body.Sort.SortOrder == enum_SortOrder[_]
    input.Body.Status == enum_ResourceSnapshotJobStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_ResourceType := [ "Opportunity" ]

valid {
    input.Body.Catalog == STRING
    input.Body.CreatedBy == STRING
    input.Body.EngagementIdentifier == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.ResourceIdentifier == STRING
    input.Body.ResourceSnapshotTemplateIdentifier == STRING
    input.Body.ResourceType == enum_ResourceType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SolutionSortName := [ "Identifier", "Name", "Status", "Category", "CreatedDate" ]
enum_SolutionStatus := [ "Active", "Inactive", "Draft" ]
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]

valid {
    input.Body.Catalog == STRING
    input.Body.Category[_] == STRING
    input.Body.Identifier[_] == STRING
    input.Body.MaxResults == INTEGER
    input.Body.NextToken == STRING
    input.Body.Sort.SortBy == enum_SolutionSortName[_]
    input.Body.Sort.SortOrder == enum_SortOrder[_]
    input.Body.Status[_] == enum_SolutionStatus[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.ResourceSnapshotJobRoleIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.Body.RejectionReason == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.ClientToken == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SalesInvolvementType := [ "For Visibility Only", "Co-Sell" ]
enum_Visibility := [ "Full", "Limited" ]

valid {
    input.Body.AwsSubmission.InvolvementType == enum_SalesInvolvementType[_]
    input.Body.AwsSubmission.Visibility == enum_Visibility[_]
    input.Body.Catalog == STRING
    input.Body.ClientToken == STRING
    input.Body.Identifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.ResourceSnapshotJobIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.Catalog == STRING
    input.Body.ResourceSnapshotJobIdentifier == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_SalesInvolvementType := [ "For Visibility Only", "Co-Sell" ]
enum_Visibility := [ "Full", "Limited" ]

valid {
    input.Body.Catalog == STRING
    input.Body.Identifier == STRING
    input.Body.InvolvementType == enum_SalesInvolvementType[_]
    input.Body.Visibility == enum_Visibility[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AwsFundingUsed := [ "Yes", "No" ]
enum_Channel := [ "AWS Marketing Central", "Content Syndication", "Display", "Email", "Live Event", "Out Of Home (OOH)", "Print", "Search", "Social", "Telemarketing", "TV", "Video", "Virtual Event" ]
enum_ClosedLostReason := [ "Customer Deficiency", "Delay / Cancellation of Project", "Legal / Tax / Regulatory", "Lost to Competitor - Google", "Lost to Competitor - Microsoft", "Lost to Competitor - SoftLayer", "Lost to Competitor - VMWare", "Lost to Competitor - Other", "No Opportunity", "On Premises Deployment", "Partner Gap", "Price", "Security / Compliance", "Technical Limitations", "Customer Experience", "Other", "People/Relationship/Governance", "Product/Technology", "Financial/Commercial" ]
enum_CompetitorName := [ "Oracle Cloud", "On-Prem", "Co-location", "Akamai", "AliCloud", "Google Cloud Platform", "IBM Softlayer", "Microsoft Azure", "Other- Cost Optimization", "No Competition", "*Other" ]
enum_CountryCode := [ "US", "AF", "AX", "AL", "DZ", "AS", "AD", "AO", "AI", "AQ", "AG", "AR", "AM", "AW", "AU", "AT", "AZ", "BS", "BH", "BD", "BB", "BY", "BE", "BZ", "BJ", "BM", "BT", "BO", "BQ", "BA", "BW", "BV", "BR", "IO", "BN", "BG", "BF", "BI", "KH", "CM", "CA", "CV", "KY", "CF", "TD", "CL", "CN", "CX", "CC", "CO", "KM", "CG", "CK", "CR", "CI", "HR", "CU", "CW", "CY", "CZ", "CD", "DK", "DJ", "DM", "DO", "EC", "EG", "SV", "GQ", "ER", "EE", "ET", "FK", "FO", "FJ", "FI", "FR", "GF", "PF", "TF", "GA", "GM", "GE", "DE", "GH", "GI", "GR", "GL", "GD", "GP", "GU", "GT", "GG", "GN", "GW", "GY", "HT", "HM", "VA", "HN", "HK", "HU", "IS", "IN", "ID", "IR", "IQ", "IE", "IM", "IL", "IT", "JM", "JP", "JE", "JO", "KZ", "KE", "KI", "KR", "KW", "KG", "LA", "LV", "LB", "LS", "LR", "LY", "LI", "LT", "LU", "MO", "MK", "MG", "MW", "MY", "MV", "ML", "MT", "MH", "MQ", "MR", "MU", "YT", "MX", "FM", "MD", "MC", "MN", "ME", "MS", "MA", "MZ", "MM", "NA", "NR", "NP", "NL", "AN", "NC", "NZ", "NI", "NE", "NG", "NU", "NF", "MP", "NO", "OM", "PK", "PW", "PS", "PA", "PG", "PY", "PE", "PH", "PN", "PL", "PT", "PR", "QA", "RE", "RO", "RU", "RW", "BL", "SH", "KN", "LC", "MF", "PM", "VC", "WS", "SM", "ST", "SA", "SN", "RS", "SC", "SL", "SG", "SX", "SK", "SI", "SB", "SO", "ZA", "GS", "SS", "ES", "LK", "SD", "SR", "SJ", "SZ", "SE", "CH", "SY", "TW", "TJ", "TZ", "TH", "TL", "TG", "TK", "TO", "TT", "TN", "TR", "TM", "TC", "TV", "UG", "UA", "AE", "GB", "UM", "UY", "UZ", "VU", "VE", "VN", "VG", "VI", "WF", "EH", "YE", "ZM", "ZW" ]
enum_CurrencyCode := [ "USD", "EUR", "GBP", "AUD", "CAD", "CNY", "NZD", "INR", "JPY", "CHF", "SEK", "AED", "AFN", "ALL", "AMD", "ANG", "AOA", "ARS", "AWG", "AZN", "BAM", "BBD", "BDT", "BGN", "BHD", "BIF", "BMD", "BND", "BOB", "BOV", "BRL", "BSD", "BTN", "BWP", "BYN", "BZD", "CDF", "CHE", "CHW", "CLF", "CLP", "COP", "COU", "CRC", "CUC", "CUP", "CVE", "CZK", "DJF", "DKK", "DOP", "DZD", "EGP", "ERN", "ETB", "FJD", "FKP", "GEL", "GHS", "GIP", "GMD", "GNF", "GTQ", "GYD", "HKD", "HNL", "HRK", "HTG", "HUF", "IDR", "ILS", "IQD", "IRR", "ISK", "JMD", "JOD", "KES", "KGS", "KHR", "KMF", "KPW", "KRW", "KWD", "KYD", "KZT", "LAK", "LBP", "LKR", "LRD", "LSL", "LYD", "MAD", "MDL", "MGA", "MKD", "MMK", "MNT", "MOP", "MRU", "MUR", "MVR", "MWK", "MXN", "MXV", "MYR", "MZN", "NAD", "NGN", "NIO", "NOK", "NPR", "OMR", "PAB", "PEN", "PGK", "PHP", "PKR", "PLN", "PYG", "QAR", "RON", "RSD", "RUB", "RWF", "SAR", "SBD", "SCR", "SDG", "SGD", "SHP", "SLL", "SOS", "SRD", "SSP", "STN", "SVC", "SYP", "SZL", "THB", "TJS", "TMT", "TND", "TOP", "TRY", "TTD", "TWD", "TZS", "UAH", "UGX", "USN", "UYI", "UYU", "UZS", "VEF", "VND", "VUV", "WST", "XAF", "XCD", "XDR", "XOF", "XPF", "XSU", "XUA", "YER", "ZAR", "ZMW", "ZWL" ]
enum_DeliveryModel := [ "SaaS or PaaS", "BYOL or AMI", "Managed Services", "Professional Services", "Resell", "Other" ]
enum_ExpectedCustomerSpendCurrencyCodeEnum := [ "USD", "EUR", "GBP", "AUD", "CAD", "CNY", "NZD", "INR", "JPY", "CHF", "SEK", "AED", "AFN", "ALL", "AMD", "ANG", "AOA", "ARS", "AWG", "AZN", "BAM", "BBD", "BDT", "BGN", "BHD", "BIF", "BMD", "BND", "BOB", "BOV", "BRL", "BSD", "BTN", "BWP", "BYN", "BZD", "CDF", "CHE", "CHW", "CLF", "CLP", "COP", "COU", "CRC", "CUC", "CUP", "CVE", "CZK", "DJF", "DKK", "DOP", "DZD", "EGP", "ERN", "ETB", "FJD", "FKP", "GEL", "GHS", "GIP", "GMD", "GNF", "GTQ", "GYD", "HKD", "HNL", "HRK", "HTG", "HUF", "IDR", "ILS", "IQD", "IRR", "ISK", "JMD", "JOD", "KES", "KGS", "KHR", "KMF", "KPW", "KRW", "KWD", "KYD", "KZT", "LAK", "LBP", "LKR", "LRD", "LSL", "LYD", "MAD", "MDL", "MGA", "MKD", "MMK", "MNT", "MOP", "MRU", "MUR", "MVR", "MWK", "MXN", "MXV", "MYR", "MZN", "NAD", "NGN", "NIO", "NOK", "NPR", "OMR", "PAB", "PEN", "PGK", "PHP", "PKR", "PLN", "PYG", "QAR", "RON", "RSD", "RUB", "RWF", "SAR", "SBD", "SCR", "SDG", "SGD", "SHP", "SLL", "SOS", "SRD", "SSP", "STN", "SVC", "SYP", "SZL", "THB", "TJS", "TMT", "TND", "TOP", "TRY", "TTD", "TWD", "TZS", "UAH", "UGX", "USN", "UYI", "UYU", "UZS", "VEF", "VND", "VUV", "WST", "XAF", "XCD", "XDR", "XOF", "XPF", "XSU", "XUA", "YER", "ZAR", "ZMW", "ZWL" ]
enum_Industry := [ "Aerospace", "Agriculture", "Automotive", "Computers and Electronics", "Consumer Goods", "Education", "Energy - Oil and Gas", "Energy - Power and Utilities", "Financial Services", "Gaming", "Government", "Healthcare", "Hospitality", "Life Sciences", "Manufacturing", "Marketing and Advertising", "Media and Entertainment", "Mining", "Non-Profit Organization", "Professional Services", "Real Estate and Construction", "Retail", "Software and Internet", "Telecommunications", "Transportation and Logistics", "Travel", "Wholesale and Distribution", "Other" ]
enum_MarketingSource := [ "Marketing Activity", "None" ]
enum_NationalSecurity := [ "Yes", "No" ]
enum_OpportunityType := [ "Net New Business", "Flat Renewal", "Expansion" ]
enum_PaymentFrequency := [ "Monthly" ]
enum_PrimaryNeedFromAws := [ "Co-Sell - Architectural Validation", "Co-Sell - Business Presentation", "Co-Sell - Competitive Information", "Co-Sell - Pricing Assistance", "Co-Sell - Technical Consultation", "Co-Sell - Total Cost of Ownership Evaluation", "Co-Sell - Deal Support", "Co-Sell - Support for Public Tender / RFx" ]
enum_RevenueModel := [ "Contract", "Pay-as-you-go", "Subscription" ]
enum_ReviewStatus := [ "Pending Submission", "Submitted", "In review", "Approved", "Rejected", "Action Required" ]
enum_SalesActivity := [ "Initialized discussions with customer", "Customer has shown interest in solution", "Conducted POC / Demo", "In evaluation / planning stage", "Agreed on solution to Business Problem", "Completed Action Plan", "Finalized Deployment Need", "SOW Signed" ]
enum_Stage := [ "Prospect", "Qualified", "Technical Validation", "Business Validation", "Committed", "Launched", "Closed Lost" ]

valid {
    input.Body.Catalog == STRING
    input.Body.Customer.Account.Address.City == STRING
    input.Body.Customer.Account.Address.CountryCode == enum_CountryCode[_]
    input.Body.Customer.Account.Address.PostalCode == STRING
    input.Body.Customer.Account.Address.StateOrRegion == STRING
    input.Body.Customer.Account.Address.StreetAddress == STRING
    input.Body.Customer.Account.AwsAccountId == STRING
    input.Body.Customer.Account.CompanyName == STRING
    input.Body.Customer.Account.Duns == STRING
    input.Body.Customer.Account.Industry == enum_Industry[_]
    input.Body.Customer.Account.OtherIndustry == STRING
    input.Body.Customer.Account.WebsiteUrl == STRING
    input.Body.Customer.Contacts[_].BusinessTitle == STRING
    input.Body.Customer.Contacts[_].Email == STRING
    input.Body.Customer.Contacts[_].FirstName == STRING
    input.Body.Customer.Contacts[_].LastName == STRING
    input.Body.Customer.Contacts[_].Phone == STRING
    input.Body.Identifier == STRING
    input.Body.LastModifiedDate == TIMESTAMP
    input.Body.LifeCycle.ClosedLostReason == enum_ClosedLostReason[_]
    input.Body.LifeCycle.NextSteps == STRING
    input.Body.LifeCycle.NextStepsHistory[_].Time == TIMESTAMP
    input.Body.LifeCycle.NextStepsHistory[_].Value == STRING
    input.Body.LifeCycle.ReviewComments == STRING
    input.Body.LifeCycle.ReviewStatus == enum_ReviewStatus[_]
    input.Body.LifeCycle.ReviewStatusReason == STRING
    input.Body.LifeCycle.Stage == enum_Stage[_]
    input.Body.LifeCycle.TargetCloseDate == STRING
    input.Body.Marketing.AwsFundingUsed == enum_AwsFundingUsed[_]
    input.Body.Marketing.CampaignName == STRING
    input.Body.Marketing.Channels[_] == enum_Channel[_]
    input.Body.Marketing.Source == enum_MarketingSource[_]
    input.Body.Marketing.UseCases[_] == STRING
    input.Body.NationalSecurity == enum_NationalSecurity[_]
    input.Body.OpportunityType == enum_OpportunityType[_]
    input.Body.PartnerOpportunityIdentifier == STRING
    input.Body.PrimaryNeedsFromAws[_] == enum_PrimaryNeedFromAws[_]
    input.Body.Project.AdditionalComments == STRING
    input.Body.Project.ApnPrograms[_] == STRING
    input.Body.Project.CompetitorName == enum_CompetitorName[_]
    input.Body.Project.CustomerBusinessProblem == STRING
    input.Body.Project.CustomerUseCase == STRING
    input.Body.Project.DeliveryModels[_] == enum_DeliveryModel[_]
    input.Body.Project.ExpectedCustomerSpend[_].Amount == STRING
    input.Body.Project.ExpectedCustomerSpend[_].CurrencyCode == enum_ExpectedCustomerSpendCurrencyCodeEnum[_]
    input.Body.Project.ExpectedCustomerSpend[_].EstimationUrl == STRING
    input.Body.Project.ExpectedCustomerSpend[_].Frequency == enum_PaymentFrequency[_]
    input.Body.Project.ExpectedCustomerSpend[_].TargetCompany == STRING
    input.Body.Project.OtherCompetitorNames == STRING
    input.Body.Project.OtherSolutionDescription == STRING
    input.Body.Project.RelatedOpportunityIdentifier == STRING
    input.Body.Project.SalesActivities[_] == enum_SalesActivity[_]
    input.Body.Project.Title == STRING
    input.Body.SoftwareRevenue.DeliveryModel == enum_RevenueModel[_]
    input.Body.SoftwareRevenue.EffectiveDate == STRING
    input.Body.SoftwareRevenue.ExpirationDate == STRING
    input.Body.SoftwareRevenue.Value.Amount == STRING
    input.Body.SoftwareRevenue.Value.CurrencyCode == enum_CurrencyCode[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}