A computational model of ratio decidendi · Study