Towards formalising argumentation about legal cases