I can imagine system with drag and drop sentence fragments and modifiable variables designed for the construction of contracts. When a document is finished, it would produce a summary of the consequences with as few interpretations as possible, possibly with a toggle for Wikipedia-style keyword linking in the result. The document could then be tweaked until the summary exactly matches what both parties want, at which point the document and summary together become the contract. Although, if such a system were to become widely used, I feel like lawyers will still be used to either discover or introduce any other remotely plausible interpretations that exist in the generated contract.
Agreed! And I'm thinking that some sort of language (or document format with technical markup) is going to become normalized to take advantage of this software, shifting from pure "prose".