self.registryResponse.oclIsUndefined() or 
self.registryResponse.registryErrorList.oclIsUndefined() or 
self.registryResponse.registryErrorList.registryError->forAll(err : RegistryErrorType | 
	(err.severity.oclIsUndefined()) or 
	err.severity<>'urn:oasis:names:tc:ebxml-regrep:ErrorSeverityType:Error' or 
	self.documentResponse->isEmpty() or 
	self.documentResponse->select(dr : DocumentResponseType | (not dr.documentUniqueId.oclIsUndefined()) and dr.documentUniqueId=err.location)->size()=0
)