context ContinuityOfCareDocument inv: self.documentationOf->forAll(docof : POCDMT000040DocumentationOf | docof.serviceEvent.oclIsUndefined() or not docof.serviceEvent.nullFlavor.oclIsUndefined() or ( not docof.serviceEvent.classCode.oclIsUndefined() and docof.serviceEvent.classCode=ActClassRoot::PCPR ) )