self.RegistryPackage->select(
		rp : RegistryPackageType | 
			( 
				rp.classification->select(
					cl : ClassificationType | (not cl.classificationNode.oclIsUndefined()) and (cl.classificationNode='urn:uuid:d9d542f3-6cc4-48b6-8870-ea235fbc94c2') and (not cl.classifiedObject.oclIsUndefined()) and (cl.classifiedObject=rp.id)
				)->size()>0)
			or
			(
				self.Classification->select(
					cl : ClassificationType | (not cl.classificationNode.oclIsUndefined()) and (cl.classificationNode='urn:uuid:d9d542f3-6cc4-48b6-8870-ea235fbc94c2') and (not cl.classifiedObject.oclIsUndefined()) and (cl.classifiedObject=rp.id)
		)->size()>0
			)
)->forAll(rp : RegistryPackageType | 
	rp.slot->select(sl : SlotType1 | 
		(not sl.name.oclIsUndefined()) and 
		(sl.name='lastUpdateTime')
	)->forAll(sl : SlotType1 | 
		(not sl.valueList.oclIsUndefined()) and 
		(sl.valueList.value->size() = 1) 
	)
)