On the automation of legal reasoning about the attribution of responsibility.