A logical framework for modelling legal argument