Title: The thesaurus in retrieval