This is so cool. Follow-up question:

> There's even some work to encode legal knowledge using them

Where do I learn more about this? What's the name of that language, or research project, or...?