 Moreover, 1-entailment satisfies a condition of weak independence of defaults: conditionals with logically unrelated antecedents can “fire” independently of each other: one can warrant a conclusion even though we are given an explicit exception to the other. Consider, for example, the following case: birds fly \((B \Rightarrow F)\), Tweety is a bird that doesn’t fly \((B \amp \neg F)\), whales are large \((W \Rightarrow L)\), and Nemo is a whale \((W)\). These premises 1-entail that Nemo is large \((L)\). In addition, 1-entailment automatically satisfies the principle of Specificity: conditionals with more specific antecedents are always given priority over those with less specific antecedents.