There is quite a simple solution for many of the problems described in the comments: Make drafting legal papers a defined interface.

If you think about it and extract sematics of any law you get something that looks familiar, sort of like code. Of course there's some complexities where certain phrases can mean different things, but legal papers in a way are written like they're programming languages already especially when it comes to law.

First we would have to define a language that can handle ambigious operations and we alread y have this with programatic proofs where n should land in x. So in the end I'd assume it would look something like this in a two party dispute:

This is very simplified and pseudo like language, writing out a full contract would be as long as a real contract.

     DEFINE DEFENDANT "A Corp"
     DEFINE PLAINTIFF "B Corp"
     DEFINE CONTRACT  CONTRACT(PLAINTIFF, DEFENDANT, 3054-41-95)

     // attaching extracted requirements, definitions and obligations of contract

     FACT   PLAINTIFF delivered(goods) ON 7054-34-99
     FACT   DEFENDANT paid(0) OF CONTRACT.amount

     CLAIM  breach WHEN obligation(DEFENDANT, "pay") IS NOT satisfied

     PROVE breach:                                                                                                                                                                  
         REQUIRE  PLAINTIFF performed                                                                                                                                               
         REQUIRE  DEFENDANT.paid < CONTRACT.amount                                                                                                                                  
         ASSERT   delay WITHIN reasonable(time)

     IF PROVE(breach):
         AWARD PLAINTIFF (CONTRACT.amount - DEFENDANT.paid) + interest()
     ELSE:
         DISMISS

Then you would run a proof based LLM to generate it into target language and since we already had an example of this from one of the AI labs we know it works. Automatic citations and supporting proof would be automatically populated from reviewed legal -> DSL extracted papers as supporting evidence.

I am sure that many AI labs are working on something similar already and we will see something like that in the near future as proof based llms evolve.