Modelling reasoning with precedents in a formal dialogue game