context CoverageActivity
inv: self.entryRelationship->exists(enresh : POCDMT000040EntryRelationship | 
		not enresh.sequenceNumber.oclIsUndefined()
)