An empirical study of retrieval by reformulation on helgon