If the proposal ends up looking anything like that StVO relation, I would have a hard time imagining nontrivial uptake by data consumers. However, I applaud the creativity in translating an entire legal code to a Turing-complete programming language.