A design for reasoning with policies, precedents, and rationales