The project seems to miss the fact that when you build an English to DSL compiler, if there are problems with the compiler, the English will prevail under our c

The project seems to miss the fact that when you build an English to DSL compiler, if there are problems with the compiler, the English will prevail under our court system ... not the compiled DSL. As a result, the computational legal infrastructure will slowly diverge from what the actual legal outcome would be. That's problematic.