This would be a good case for restricted versions of our commonly used languages with as few words and constructs as possible on a simple and consistent grammar. Much like a programming language for defining law.
To do it, lawyers would have to learn some category theory, but I think many of them would enjoy it.
Many probably discovered it already, without realizing it has a name.