self.Association->select(asso : AssociationType1 | 
	(not asso.associationType.oclIsUndefined()) and 
	asso.associationType='urn:ihe:iti:2007:AssociationType:XFRM' and 
	(
		asso.classification->size()=0 or 
		asso.classification->forAll(cl : ClassificationType |
			(not cl.classificationScheme.oclIsUndefined()) and 
			cl.classificationScheme='urn:uuid:abd807a3-4432-4053-87b4-fd82c643d1f3'
		)
	)
)->forAll(asso : AssociationType1 |
	asso.classification->select(cl : ClassificationType |
		(not cl.classificationScheme.oclIsUndefined()) and 
		cl.classificationScheme='urn:uuid:abd807a3-4432-4053-87b4-fd82c643d1f3'
	)->forAll(cl : ClassificationType |
		cl.slot->select(sl : SlotType1 |
			(not sl.name.oclIsUndefined()) and 
			sl.name='codingScheme'
		)->forAll(sl : SlotType1 |
			sl.valueList.oclIsUndefined() or 
			(sl.valueList.value->size()=1 and sl.valueList.value->at(1)='epSOS translation types')
		)
	)
)