For the AI and law community this could also contribute to consistent legal drafting, formalizing legislation through logical analysis and sorting
through syntactic and semantic ambiguities to create «normalized logical versions can then be «run» on a computer.»