Finally someone is doing this! For years I've had the opinion, that law would be better of with more fomalization and that laws should be written in formal language. A friend of mine even tried to built a parser for german law a few years back, but the project never got very far.