Logical tools modelling legal argument by Prakken