context CHXDSDSDRConstraint inv: self.RegistryPackage->select(rp : RegistryPackageType | ( rp.classification->select(cl : ClassificationType | (not cl.classificationNode.oclIsUndefined()) and (cl.classificationNode='urn:uuid:a54d6aa5-d40d-43f9-88c5-b4633d873bdd') and (not cl.classifiedObject.oclIsUndefined()) and (cl.classifiedObject=rp.id) )->size()>0 ) or ( self.Classification->select(cl : ClassificationType | (not cl.classificationNode.oclIsUndefined()) and (cl.classificationNode='urn:uuid:a54d6aa5-d40d-43f9-88c5-b4633d873bdd') and (not cl.classifiedObject.oclIsUndefined()) and (cl.classifiedObject=rp.id) )->size()>0 ) )->forAll(rp : RegistryPackageType | rp.classification->exists(cl : ClassificationType | (not cl.classificationScheme.oclIsUndefined()) and cl.classificationScheme = 'urn:uuid:a7058bb9-b4e4-4307-ba5b-e3f0ab85e12d' ) )