Logical Tools for Modelling Legal Argument by Henry Prakken