Speaking of, it would be cool for a project to analyze US law the same way they are looking for bugs in computer programs.

  - Find places where the text can be simplified without changing meaning. 
  - Find places that are likely errors. 
  - Detect conflicts between jurisdictions. 
  - Identify loopholes.