context PolicyActivity inv: self.participant->size()=1 and self.participant->forAll(part : POCDMT000040Participant2 | part.participantRole.oclIsUndefined() or (not part.participantRole.nullFlavor.oclIsUndefined()) or ( not part.participantRole.code.oclIsUndefined() and part.participantRole.code.nullFlavor.oclIsUndefined() and not part.participantRole.code.code.oclIsUndefined() and not part.participantRole.code.codeSystem.oclIsUndefined() and not part.participantRole.code.displayName.oclIsUndefined() and part.participantRole.code.matchesValueSetWithDisplayName('2.16.840.1.113883.1.11.19809', part.participantRole.code.code, part.participantRole.code.codeSystem, part.participantRole.code.codeSystemName, part.participantRole.code.displayName ) ) )