Documentation

Linglib.Theories.Semantics.Entailment.ScaleInteraction

source
theorem Semantics.Entailment.ScaleInteraction.scale_alternatives_reverse :
Alternatives.scalarAlternativesInContext Alternatives.Quantifiers.quantScale Alternatives.Quantifiers.QuantExpr.some_ Alternatives.Monotonicity.upward = [Alternatives.Quantifiers.QuantExpr.most, Alternatives.Quantifiers.QuantExpr.all] ∧ Alternatives.scalarAlternativesInContext Alternatives.Quantifiers.quantScale Alternatives.Quantifiers.QuantExpr.some_ Alternatives.Monotonicity.downward = [Alternatives.Quantifiers.QuantExpr.none_]

Scale reversal: UE alternatives of "some" are [most, all]; DE alternatives are [none].

source
theorem Semantics.Entailment.ScaleInteraction.de_blocks_scalar_implicature :
Alternatives.scalarAlternativesInContext Alternatives.Quantifiers.quantScale Alternatives.Quantifiers.QuantExpr.some_ Alternatives.Monotonicity.upward = [Alternatives.Quantifiers.QuantExpr.most, Alternatives.Quantifiers.QuantExpr.all] ∧ Alternatives.scalarAlternativesInContext Alternatives.Quantifiers.quantScale Alternatives.Quantifiers.QuantExpr.some_ Alternatives.Monotonicity.downward = [Alternatives.Quantifiers.QuantExpr.none_]

DE blocks "some -> not all" because "all" is not a stronger alternative in DE.