Comment by eternalban

This motivated a visit to wiki to look up Code of Ur-Nammu. Some gems (yes, /s) in there:

If a man accused the wife of a man of adultery, and the river ordeal proved her innocent, then the man who had accused her must pay one-third of a mina of silver.

So, here is justice at work. If she drowns, she was guilty. If she survives, someone gets 1/3 of a Mina. Ur-Nammu is vague here as to who gets the money. Likely the husband.

How would we code this in Catala? I'll start it, someone else can finish it /g

  declaration structure Person:
    data id content integer

  declaration structure Period:
    data start content date
    data end content date

  declaration structure MarriedCouple:
    data marriage_date content date
    data husband content Person
    data wife content Person
   
  declaration structure AccusationOfAdultery:
    data couple1 content MarriedCouple
    data accuser content Person
    data adultery_date content Period
   
  declaration structure River
    data id content integer
 
  declaration structure OrdealByWater:
    data subject content Person
    data river1 content River
    data ordeal_date content Period

  declaration scope UrNammuLaw14:
    context requirements_met condition
    context married_met condition
    context accused_while_married_met condition
    context tested_by_water_ordeal_met condition

  ...

https://en.wikipedia.org/wiki/Code_of_Ur-Nammu#Surviving_law...