valid {
    input.ReqMap.name == STRING
    input.Qs.supplementalFeedId == STRING
    input.ProviderMetadata.Region == STRING
}

enum_HeadlineOfferSubscriptionCostPeriod := [ "SUBSCRIPTION_PERIOD_UNSPECIFIED", "MONTH", "YEAR" ]

valid {
    input.Body.attributes.additionalImageLinks[_] == STRING
    input.Body.attributes.adult == BOOLEAN
    input.Body.attributes.ageGroup == STRING
    input.Body.attributes.brand == STRING
    input.Body.attributes.certifications[_].authority == STRING
    input.Body.attributes.certifications[_].code == STRING
    input.Body.attributes.certifications[_].name == STRING
    input.Body.attributes.color == STRING
    input.Body.attributes.cppAdsRedirect == STRING
    input.Body.attributes.cppLink == STRING
    input.Body.attributes.cppMobileLink == STRING
    input.Body.attributes.customLabel0 == STRING
    input.Body.attributes.customLabel1 == STRING
    input.Body.attributes.customLabel2 == STRING
    input.Body.attributes.customLabel3 == STRING
    input.Body.attributes.customLabel4 == STRING
    input.Body.attributes.description == STRING
    input.Body.attributes.excludedDestinations[_] == STRING
    input.Body.attributes.expirationDate == STRING
    input.Body.attributes.gender == STRING
    input.Body.attributes.googleProductCategory == STRING
    input.Body.attributes.gtin == STRING
    input.Body.attributes.headlineOfferCondition == STRING
    input.Body.attributes.headlineOfferInstallment.amount.amountMicros == STRING
    input.Body.attributes.headlineOfferInstallment.amount.currencyCode == STRING
    input.Body.attributes.headlineOfferInstallment.downpayment.amountMicros == STRING
    input.Body.attributes.headlineOfferInstallment.downpayment.currencyCode == STRING
    input.Body.attributes.headlineOfferInstallment.months == STRING
    input.Body.attributes.headlineOfferLink == STRING
    input.Body.attributes.headlineOfferMobileLink == STRING
    input.Body.attributes.headlineOfferPrice.amountMicros == STRING
    input.Body.attributes.headlineOfferPrice.currencyCode == STRING
    input.Body.attributes.headlineOfferShippingPrice.amountMicros == STRING
    input.Body.attributes.headlineOfferShippingPrice.currencyCode == STRING
    input.Body.attributes.headlineOfferSubscriptionCost.amount.amountMicros == STRING
    input.Body.attributes.headlineOfferSubscriptionCost.amount.currencyCode == STRING
    input.Body.attributes.headlineOfferSubscriptionCost.period == enum_HeadlineOfferSubscriptionCostPeriod[_]
    input.Body.attributes.headlineOfferSubscriptionCost.periodLength == STRING
    input.Body.attributes.highPrice.amountMicros == STRING
    input.Body.attributes.highPrice.currencyCode == STRING
    input.Body.attributes.imageLink == STRING
    input.Body.attributes.includedDestinations[_] == STRING
    input.Body.attributes.isBundle == BOOLEAN
    input.Body.attributes.itemGroupId == STRING
    input.Body.attributes.lowPrice.amountMicros == STRING
    input.Body.attributes.lowPrice.currencyCode == STRING
    input.Body.attributes.material == STRING
    input.Body.attributes.mpn == STRING
    input.Body.attributes.multipack == STRING
    input.Body.attributes.numberOfOffers == STRING
    input.Body.attributes.pattern == STRING
    input.Body.attributes.pause == STRING
    input.Body.attributes.productDetails[_].attributeName == STRING
    input.Body.attributes.productDetails[_].attributeValue == STRING
    input.Body.attributes.productDetails[_].sectionName == STRING
    input.Body.attributes.productHeight.unit == STRING
    input.Body.attributes.productHeight.value == NUMBER
    input.Body.attributes.productHighlights[_] == STRING
    input.Body.attributes.productLength.unit == STRING
    input.Body.attributes.productLength.value == NUMBER
    input.Body.attributes.productTypes[_] == STRING
    input.Body.attributes.productWeight.unit == STRING
    input.Body.attributes.productWeight.value == NUMBER
    input.Body.attributes.productWidth.unit == STRING
    input.Body.attributes.productWidth.value == NUMBER
    input.Body.attributes.size == STRING
    input.Body.attributes.sizeSystem == STRING
    input.Body.attributes.sizeTypes[_] == STRING
    input.Body.attributes.title == STRING
    input.Body.contentLanguage == STRING
    input.Body.customAttributes[_].groupValues[_] == NESTED
    input.Body.customAttributes[_].name == STRING
    input.Body.customAttributes[_].value == STRING
    input.Body.feedLabel == STRING
    input.Body.freshnessTime == STRING
    input.Body.name == STRING
    input.Body.rawProvidedId == STRING
    input.ReqMap.parent == STRING
    input.Qs.feedId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.description == STRING
    input.Body.displayName == STRING
    input.Body.name == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.parent == STRING
    input.Qs.fullName == STRING
    input.Qs.labelId == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.labelIds[_] == STRING
    input.Body.parent == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}