Two words: 'event calculus'. A type of predicate logic constructed to precisely specify the types of relationships that we use language to do with law and contr

Two words: 'event calculus'. A type of predicate logic constructed to precisely specify the types of relationships that we use language to do with law and contracts: 'Formalizing Legislation in the Event Calculus': http://www.marcellodibello.com/files/research_files/theses/citizenship.pdf http://www.marcellodibello.com/files/research_files/theses/c... Yes, it uses a library of obscure symbols to describe these relationships, but can be algorithmically translated into any number of natural languages, thus making these descriptions understandable to most people. It's my belief that event calculus + blockchain (I'm looking at tauchain as an ideal platform) to enable the construction of massively scalable, voluntary, commons-based social coordination, production, politics and law.