Note that my notation deviates from Bartells somewhat. In particular,we assume here that
Rank()
increases from most- to least-highly ranked document, so that the first element of the hitlist has
Rank
= 1.