context ContinuityOfCareDocument inv: self.documentationOf->size()>0 and self.documentationOf->forAll(docof : POCDMT000040DocumentationOf | docof.serviceEvent->size()=1 )