context CoverageActivity inv: self.entryRelationship->size()>0