self.slot->select(sl : SlotType1 | (not sl.name.oclIsUndefined()) and (sl.name = 'authorInstitution'))->forAll(sl : SlotType1 | 
	sl.valueList.oclIsUndefined() or 
	sl.valueList.value->forAll(val : String | sl.isXON(val))
)