Logical tools for modelling legal argument | lit.salon