Text this: Reasoning with rules and precedents :