Property allocation rules: is this a topic about programming languages or economics?