A system filters documents in a document set retrieved from a document store
in
response to a query. The system obtains a first set of logical forms based on a
selected one of the query and the documents in the document set. The system obtains
a second set of logical forms based on another of the query and the documents in
the document set. The system then uses natural language processing techniques to
modify the first logical forms to obtain a modified set of logical forms. The system
filters documents in the document set based on a predetermined relationship between
the modified set of logical forms and the second set of logical forms.