The question of conditional inference, i.e., which sentences the form ``if A then, normally, B'' should follow from a set KB such sentences, has been one classic questions AI, with several well-known solutions proposed. Perhaps most notable is rational closure construction Lehmann and Magidor, under inferred conditionals forms consequence relation, satisfies all rules preferential reasoning, *p...