valid {
    input.Body.context.address.addressLines[_] == STRING
    input.Body.context.address.administrativeArea == STRING
    input.Body.context.address.languageCode == STRING
    input.Body.context.address.locality == STRING
    input.Body.context.address.organization == STRING
    input.Body.context.address.postalCode == STRING
    input.Body.context.address.recipients[_] == STRING
    input.Body.context.address.regionCode == STRING
    input.Body.context.address.revision == INTEGER
    input.Body.context.address.sortingCode == STRING
    input.Body.context.address.sublocality == STRING
    input.Body.languageCode == STRING
    input.ReqMap.location == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.Body.pin == STRING
    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
}

enum_VerifyLocationRequestMethod := [ "VERIFICATION_METHOD_UNSPECIFIED", "ADDRESS", "EMAIL", "PHONE_CALL", "SMS", "AUTO", "VETTED_PARTNER" ]

valid {
    input.Body.context.address.addressLines[_] == STRING
    input.Body.context.address.administrativeArea == STRING
    input.Body.context.address.languageCode == STRING
    input.Body.context.address.locality == STRING
    input.Body.context.address.organization == STRING
    input.Body.context.address.postalCode == STRING
    input.Body.context.address.recipients[_] == STRING
    input.Body.context.address.regionCode == STRING
    input.Body.context.address.revision == INTEGER
    input.Body.context.address.sortingCode == STRING
    input.Body.context.address.sublocality == STRING
    input.Body.emailAddress == STRING
    input.Body.languageCode == STRING
    input.Body.mailerContact == STRING
    input.Body.method == enum_VerifyLocationRequestMethod[_]
    input.Body.phoneNumber == STRING
    input.Body.token.tokenString == STRING
    input.ReqMap.name == STRING
    input.ProviderMetadata.Region == STRING
}