Comment by james_in_the_uk

In rough & ready pseudocode:

  from law_of_england_and_wales import persons, contract, boilerplate, jurisdiction

  define party1 = persons(type:ltd, with_registration_no: 12345)
  define party2 = persons(type:natural, with_name:"Chris", with_address: "Acacia Avenue")
  define term = 1 year

  try:

    while date < term
    {
      if party1.dosomethings
      then party2.pay(agreed_price) && party2.dosomethings
    }

  catch breach:

    party_at_fault=breach.causing_party()
    party_not_at_fault=(if party_at_fault == party1 ? party1 : party2)
    party_at_fault.pay(if damages < limitationofliability ? damages : limitationofliability)
    if party_not_at_fault.chooses(terminate())

  juridiction.set_jurisdiction(exclusive_mode)
  boilerplate.apply

I could go all evening at expanding this. Anyone fancy adding obligations, termination, confi etc.?

Source: I am a lawyer and a coder.