type inference, information retrieval