The Data Mine is a search engine designed to make a more useful
interface available to users. It is designed around human-computer
intelligent interaction considerations. It divides the screen into two
halves. One lets you find all the instances of your query's keywords,
and the other lets you look through a highlighted version of the
results you choose.
