A design for reasoning with policies, precedents and rationales