Probably better entry point is https://regelrecht.rijks.app/ and you can see an example of the YAML and outputs here: https://editor.regelrecht.rijks.app/library/afstemmingsveror...

As for the use case, it seems to be an explorative exercise to see if something like that can help provide more transparency and consistency within systems of law, "whether machine-executable legislation can provide an answer" to complex and opaque cases. The websites linked earlier have more information + examples.

I read (with much hope in my heart) it as: all the combined rent laws say that the max rent in X district is 5€/mo/sqm but you can charge 20€ for windowcleaning services and 1€/mo/sqm extra if the flat has an ikea bedframe and a bathtub. You enter the parameters of your rental agreement and the magic box spits out wether your situation is legal or not, then you just have to press a button to sue your landlord.

Bringing the boring old legal system closer to smart contracts.

But I don't have a clue if this is really the case.

https://regelrecht.rijks.app/

I think that's the project.

"Modern calculation engine as a building block for the entire government. In collaboration with the Benefits Service (Dienst Toeslagen). Can we develop a general calculation engine for the government? This project explores how such a system could help in executing complex regulations for citizens and businesses, for example, when calculating benefits."

I imagine if a new law is introduced or a change to an existing law is proposed it can auto-check for consistency, collisions with other laws, auto-flag laws that need to be amended together or things like that.

[dead]