2. The system of claim 1 , wherein the candidate detection module automatically generates a synonymy pair comprising a first term and a second term, the first term being present in the first query input by the user and absent from the reformulated query input by the user and the second term being present in the reformulated query and absent from the first query.
2. The system of claim 1 , wherein the candidate detection module automatically generates a synonymy pair comprising a first term and a second term, the first term being present in the first query input by the user and absent from the reformulated query input by the user and the second term being present in the reformulated query and absent from the first query. 4. The system of claim 2 , wherein some of the synonymy rules each include a synonymy pair and a context restriction for the synonymy pair.