Hurford disjunction

In formal semantics, a Hurford disjunction is a disjunction in which one of the disjuncts entails the other. The concept was first identified by British linguist James Hurford. The sentence "Mary is in the Netherlands or she is in Amsterdam" is an example of a Hurford disjunction since one cannot be in Amsterdam without being in the Netherlands. Other examples are shown below:
As indicated by the octothorps in the above examples, Hurford disjunctions are typically infelicitous. Their infelicity has been argued to arise from them being redundant, since simply uttering the stronger of the two disjuncts would have had the same semantic effect. Thus, they have been taken as motivation for a principle such as the following:
However, some particular instances of Hurford disjunctions are felicitous.
Felicitous Hurford disjunctions have been analyzed by positing that the weaker disjunct is strengthened by an embedded scalar implicature which eliminates the entailment between the disjuncts. For instance, in the first of the felicitous examples above, the left disjunct's unenriched meaning is simply that Sofia ate a nonzero amount of pizza. This would result in a redundancy violation since eating all the pizza entails eating a nonzero amount of it. However, if an embedded scalar implicature enriches this disjunct so that it denotes the proposition that that Sofia ate some "but not all" of the pizza, this entailment no longer goes through. Eating all of the pizza does not entail eating some but not all of it. Thus, Local Redundancy will still be satisfied.