On the automation of legal reasoning about responsibility