Tag: discounted learner coverage