Comment by 0thgen

I suppose a formalized legal language could:

- help in quickly testing whether newly drafted laws contradict existing laws(without needing to memorize the existing legal code)

- check for redundancies

- checking whether removing one law affects any others

- statistically analyze legal systems in different countries

Assuming any of those are important issues in law. I'm not sure