I wrote an analyzer for patent claims: https://github.com/btrettel/plint

There are tons of ambiguities and other problems in issued patents!

When I get the time, I intend to rewrite a significant amount of the code in an object-oriented style. (Basically, making a class for a patent claim and having a ton of methods for that.) The code right now is a mostly untested mess that seems to produce decent results but is not pleasant to work with.