context DocumentEntryOriginalProviderRole
inv: self.slot->select(sl : SlotType1 |
 (not(sl.name.oclIsUndefined())) and (sl.name = 'urn:e-health-suisse:2020:originalProviderRole'))->size()>0 and self.slot->select(sl : SlotType1 | (not (sl.name.oclIsUndefined())) and (sl.name = 'urn:e-health-suisse:2020:originalProviderRole'))->forAll(sl : SlotType1 | (not (sl.valueList.oclIsUndefined())) and sl.valueList.value->forAll(v : String | sl.matchesValueSet('2.16.756.5.30.1.127.3.10.1.42', sl.valueList.extractCodeFromAdhocValue(v)->asSequence()->at(1), sl.valueList.extractCodeFromAdhocValue(v)->asSequence()->at(2), null, null)))