Automated legal reasoning door N. den Haan