After developing the vocabularies and grammars of law and computer science, we will investigate the types of normativity that will evolve with the integration of data-driven and code-driven grammars into the text-driven grammar of modern positive law.

This will be the starting point for a process of building new theories of interpretation that should enable an informed understanding of the output of computational legal systems, based on the capability to probe, test and contest such output. This is part of the final years of the project.