But the domains are drastically different. I assume you mean legalese as is used in Law -- modeling reality of law is hard, but modeling reality for computers i

But the domains are drastically different. I assume you mean legalese as is used in Law -- modeling reality of law is hard, but modeling reality for computers is not hard, we've worked hard to make things very deterministic and demonstrably so. All we do is send instructions to computers all day that are mostly executed perfectly, changing the language you use to speak to the computers is the point of higher level languages, and I strongly consider english to be just another frontend (in the LLVM sense), just one that is a lot harder to encode the semantics of fully. But the thing is, you don't need to encode the semantics fully -- just make paths one at a time for certain functionality (ex. `read_file(path: string): string` can have it's first "call sentence" be "read file from <path on disk: var> and store the contents in <new const var>")