A Computational Model of Ratio Decidendi