Logical tools modelling legal argument door Prakken