self.registryErrorList.oclIsUndefined() or 
self.registryErrorList.registryError->select(re : RegistryErrorType | 
	(not re.errorCode.oclIsUndefined()) and 
	(
		re.errorCode='4701' or 
		re.errorCode='4702' or 
		re.errorCode='4703' or 
		re.errorCode='4202' or 
		re.errorCode='4203' or 
		re.errorCode='4204' or 
		re.errorCode='4205' or 
		re.errorCode='4206'
	)
)->size()=0 or 
(
	(not self.status.oclIsUndefined()) and 
	self.status='urn:oasis:names:tc:ebxml-regrep:ResponseStatusType:Failure'
)