Modelling Reasoning with Precedents in a Formal Dialogue Game · Study