Bridge: NeoGricean Free Choice to Phenomena

@cite{bar-lev-fox-2020}

Connects the NeoGricean Innocent Inclusion formalization to empirical free choice data from Phenomena.Modality.FreeChoice.

The theory predicts that free choice is a pragmatic inference (derived by Exh^{IE+II}) rather than a semantic entailment, matching the empirical data.

theorem Phenomena.Modality.Implicature_BarLevFox2020Bridge.fc_is_pragmatic : FreeChoice.coffeeOrTea.isSemanticEntailment = false

The inference is pragmatic (not a semantic entailment)

theorem Phenomena.Modality.Implicature_BarLevFox2020Bridge.fc_captured_pragmatically : FreeChoice.coffeeOrTea.isPragmaticInference = true

The inference is captured by our pragmatic theory