Reasoning with Rules and Precedents