I’ve always wondered if contracts themselves couldn’t be expressed in a parsable domain-specific language.
IANAL, but it seems to me that source code and contracts/legislation/policies are similar in many ways: logic, rules, special words with reserved meaning.
The right DSL might go a long way to automating the boring stuff out of law, and serve to highlight the contentious stuff for human judgement.