context PolicyActivity inv: self.participant->size()=1 and self.participant->forAll(part : POCDMT000040Participant2 | not part.typeCode.oclIsUndefined() and part.typeCode=ParticipationType::HLD )