A computer system, method, and storage medium with embedded code automate analysis of validity of patent document claims. In embodiments, the computer system receives an identifier of the patent document and a claim, retrieves text of the patent document, parses the text to identify contextually important key terms of the claim, and then formulates one or more queries that include key terms and a priority date relating to the patent document. The system launches the queries and receives search results. From the results, anticipatory candidate members and obviousness candidate members are determined. If the total number of the members is excessive, the queries are reformulated more restrictively, and the search repeated. The system determines contextual relevance of the members and arranges the members in order of their relevance.