A reduction-graph model of ratio decidendi