I think writing a parser for English laws and rules could be useful. Similar to how a compiler parses source code into a tree structure. Could allow more rapid analysis of laws once everything is parsed out. If the tree is correct then you could do some wild things.