Title: The thesaurus in retrieval.