The top documents tagged [r xl r leq]