Reasoning with portions of precedents