RSA Embedded Scalar Implicatures → Phenomena

@cite{geurts-2010}

Connects the RSA embedded scalar implicature model (RSA.EmbeddedScalars) to empirical data from Phenomena.ScalarImplicatures.Basic.

Content

• empirical_pattern_documented: Verifies the DE blocking / UE allowing pattern from @cite{geurts-2010} against the someAllBlocking data.

theorem Phenomena.ScalarImplicatures.Studies.Geurts2010.empirical_pattern_documented : someAllBlocking.implicatureInDE = false ∧ someAllBlocking.implicatureInUE = true

Connection to empirical pattern.

The empirical data shows:

• DE: implicature blocked (global preferred)
• UE: implicature arises (local preferred)

Our simple LU model predicts the opposite. The full Potts et al. model derives the correct pattern.