Automating legal reasoning in discretionary domains