self.slot->select(sl : SlotType1 |	(not sl.name.oclIsUndefined()) and sl.name='$XDSDocumentEntryType')->forAll(sl1 : SlotType1 |
	sl1.valueList.oclIsUndefined() or 
	sl1.valueList.value->forAll(val : String |
		sl1.valueList.extractValues(val)->forAll(st : String |
			st='urn:uuid:7edca82f-054d-47f2-a032-9b2a5b5186c1' or 
			st='urn:uuid:34268e47-fdf5-41a6-ba33-82133c465248'
		)
	)
)