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'
	)
)->forAll(re : RegistryErrorType | 
	(not re.severity.oclIsUndefined()) and 
	re.severity='urn:oasis:names:tc:ebxml-regrep:ErrorSeverityType:Error'
)