Background

*# Other Background Material

Quick links

Other reading materials

• Computer-readable legislation project, main page

• Meng's thoughts on L4 syntax

• CSL

  • Static Analyses of CSL contracts

    • A Formally Verified Static Analysis Framework for Compositional Contracts

Links to specific examples

• Short parsing exercises

  • traffic, farming, alcohol, dogs (imaginary); charities, advertising in event (real)

• British Nationality Act. Note that they have a redraft of s1 at the end in a more modern style.

• Fictional alcohol sales example in the IDE mockup

• Fictional farming act

• Charities (Jersey) Law 2014 and its Reg & Orders

• Financial Services Ombudsman (Jersey) Law 2014

• Domestic Abuse (Jersey) Law 2022

Questionnaire

• Sharpening Up your Summing Up

  • Describes the New Zealand / 'Question Trail' method (which is basically what CRLP seems to favor), with examples, and explains why it's helpful

  • from Dec 12: See especially pages 21 and 16. Not only do they helpfully instantiate the questions with the specific details / facts (which makes it more comprehensible than, e.g., talking about "the accused person" in the abstract), they also provide all the relevant definitions that are needed to answer the questions.

• A short example of a questionnaire for jurors on "Assault Occasioning Actual Bodily Harm," sent along from Leon Qiu

Related notes from meetings

• Dec 12 meeting: Can think of the questions as tree where the nodes are in effect sets, so that end users can answer questions independently of each other, but some questions depend on other questions. And re providing the relevant definitions, can imagine providing a transitive closure of the definitions.

Slack thread

Probably contains still some relevant links that aren't here yet. Slack thread

Relevant examples from other legal DSLs

The NSW Community Gaming legislation, formalized in Catala vs. YScript:

• Catala

• YScript: See page 187 of YScript Manual