All I'm asking is that we upgrade their tooling and process.
Your outlook for the abstraction potential seems overly pessimistic.
Most of Law boils down to a cascade of intermingled conditionals, nothing a computer couldn't handle.
Of course a bit of human intervention will always be required, for value judgements and the "hard questions".
However, in my (limited) experience with lawyers, very little of the time and money that a lawsuit consumes goes into the actual decision making.
The overwhelming majority is wasted on process and formalities.