Formal-to-natural language compiler for a domain-specific-language. Creates contracts in multiple languages from Javascript.
What I’d like to see is legal contracts written up in a kind of code similar to computer code; something that can be checked for validity, evaluated, perhaps even unit tested. We could perhaps generate natural language descriptions of the code in varying complexity (maybe even generate legalese, which could be useful if you’re using the code to create custom contracts), or it could be accurately visualized in some way. My fear is that in writing such code to deal with real-world issues, you’d also need a model of the real world, and that would be incredibly hard to define.
– email from Michael Wayne Goodman <[email protected]> 20140815