valid {
    input.ReqMap.resource == STRING
    input.Qs.options.requestedPolicyVersion == INTEGER
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.createTime == STRING
    input.Body.name == STRING
    input.Body.title == STRING
    input.Body.url == STRING
    input.ReqMap.parent == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.Qs.operation == STRING
    input.Qs.planId == STRING
    input.Qs.serviceId == 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.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.operation == STRING
    input.Qs.planId == STRING
    input.Qs.serviceId == 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.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == 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.parent == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == 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.context.STRING == ANY
    input.Body.createTime == STRING
    input.Body.deploymentName == STRING
    input.Body.description == STRING
    input.Body.instance_id == STRING
    input.Body.organization_guid == STRING
    input.Body.parameters.STRING == ANY
    input.Body.plan_id == STRING
    input.Body.previous_values.STRING == ANY
    input.Body.resourceName == STRING
    input.Body.service_id == STRING
    input.Body.space_guid == STRING
    input.ReqMap.instance_id == STRING
    input.ReqMap.parent == STRING
    input.Qs.acceptsIncomplete == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.acceptsIncomplete == BOOLEAN
    input.Qs.planId == STRING
    input.Qs.serviceId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.Qs.operation == STRING
    input.Qs.planId == STRING
    input.Qs.serviceId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.context.STRING == ANY
    input.Body.createTime == STRING
    input.Body.deploymentName == STRING
    input.Body.description == STRING
    input.Body.instance_id == STRING
    input.Body.organization_guid == STRING
    input.Body.parameters.STRING == ANY
    input.Body.plan_id == STRING
    input.Body.previous_values.STRING == ANY
    input.Body.resourceName == STRING
    input.Body.service_id == STRING
    input.Body.space_guid == STRING
    input.ReqMap.name == STRING
    input.Qs.acceptsIncomplete == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.bind_resource.STRING == ANY
    input.Body.binding_id == STRING
    input.Body.createTime == STRING
    input.Body.deploymentName == STRING
    input.Body.parameters.STRING == ANY
    input.Body.plan_id == STRING
    input.Body.resourceName == STRING
    input.Body.service_id == STRING
    input.ReqMap.binding_id == STRING
    input.ReqMap.parent == STRING
    input.Qs.acceptsIncomplete == BOOLEAN
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.name == STRING
    input.Qs.acceptsIncomplete == BOOLEAN
    input.Qs.planId == STRING
    input.Qs.serviceId == STRING
    input.ProviderMetadata.Region == STRING
}

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

valid {
    input.ReqMap.name == STRING
    input.Qs.operation == STRING
    input.Qs.planId == STRING
    input.Qs.serviceId == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.policy.bindings[_].condition.description == STRING
    input.Body.policy.bindings[_].condition.expression == STRING
    input.Body.policy.bindings[_].condition.location == STRING
    input.Body.policy.bindings[_].condition.title == STRING
    input.Body.policy.bindings[_].members[_] == STRING
    input.Body.policy.bindings[_].role == STRING
    input.Body.policy.etag == STRING
    input.Body.policy.version == INTEGER
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Body.permissions[_] == STRING
    input.ReqMap.resource == STRING
    input.ProviderMetadata.Region == STRING
}