self.slot->select(sl : SlotType1 |	(not sl.name.oclIsUndefined()) and sl.name='$XDSDocumentEntryFormatCode')->forAll(sl1 : SlotType1 |
	sl1.valueList.oclIsUndefined() or 
	sl1.valueList.value->forAll(val : String |
		sl1.valueList.extractValues(val)->forAll(st : String |
			sl1.valueList.extractCodeFromAdhocValue(st)->size()=2 and 
			sl1.matchesValueSet('1.3.6.1.4.1.12559.11.4.1.3', sl1.valueList.extractCodeFromAdhocValue(st)->asSequence()->at(1), sl1.valueList.extractCodeFromAdhocValue(st)->asSequence()->at(2), null, null)
		)
	)
)