The English Logic Kernel (tm) for Patents

Dr. Richard G. Cooper's English Logic Kernel or ELK is available as a free beta download.  At his website Dr. Cooper provides the following description of ELK:

• Prior art keyword search made easy and intuitive
• Background process downloads patents while you work
• Supports synonyms for keywords integrated with search
• Instant claim dependency tree generation
• Instantly generate two column support claim charts for prosecution
• Instant generate three column challenge claim charts for litigation
• Context sensitive help for each tab section of the program
• Complete user's guide documentation
• Designed for security of information so you never have to fear loss of competitive knowledge
• Comments from happy customers show that we deliver quality results and world class technical support 

Who can benefit: Patent agents, patent attorneys, expert witnesses, patent paralegals, scientists, engineers, inventors, M&A agents, corporate counsel, intellectual property investors, and anyone else who works with patents!

I am interested in any feedback you can offer from your experience in using ELK - just post a comment here.