self.slot->select(sl : SlotType1 |
	(not sl.name.oclIsUndefined()) and 
	sl.name='$XDSDocumentEntryPatientId'
)->forAll(sl1 : SlotType1 |
	sl1.valueList.oclIsUndefined() or 
	sl1.valueList.value->forAll(val : String |
		sl1.valueList.extractValues(val)->forAll(st : String |
			sl1.isCX_XDS(st)
		)
	)
)