Information-structural extraction clash #

extractionISClash: a focused filler extracted from a given/backgrounded domain clashes — the filler addresses the QUD while the domain is QUD-invisible ([erteschik-shir-1973], [AHWG20]). Predicate over the Features/ axes (FocusMark, BinaryGivenness).

source

def Semantics.Focus.ExtractionClash.semanticallyIndependent {W : Type u_1} (a b : Set W) :

Prop

Two propositions are semantically independent iff neither entails the other. [Umb04] §2.2: required for alternatives in focus, coordination, and discourse relations. Violation explains the oddness of #John had a drink and Mary had a martini.

Equations

Semantics.Focus.ExtractionClash.semanticallyIndependent a b = (¬a ⊆ b ∧ ¬b ⊆ a)

Instances For

source

def Semantics.Focus.ExtractionClash.commonIntegrator {W : Type u_1} (alts : List (Set W)) (integ : Set W) :

Prop

A common integrator subsumes all alternatives. [Umb04] §2.2, following [lang-1984]: coordinated elements and focus alternatives must share a common superordinate concept. For example, in "beer and martini", "drink" is the common integrator.

Equations

Semantics.Focus.ExtractionClash.commonIntegrator alts integ = ∀ a ∈ alts, a ⊆ integ

Instances For

source

def Semantics.Focus.ExtractionClash.wellFormedAlts {W : Type u_1} (alts : List (Set W)) (integ : Set W) :

Prop

A well-formed alternative set satisfies both constraints. [Umb04] §2.2: alternatives must be comparable, i.e., similar (common integrator) and dissimilar (pairwise independent).

Equations

One or more equations did not get rendered due to their size.

Instances For

source

def Semantics.Focus.ExtractionClash.extractionISClash (filler : Features.InformationStructure.FocusMark) (domain : Features.BinaryGivenness) :

Prop

Information-structural extraction clash ([erteschik-shir-1973], [AHWG20]): a focused filler extracted from a given/backgrounded domain creates an incompatibility between the filler's discourse function (addressing the QUD) and the domain's discourse status (QUD-invisible).

The two parameters are independent Krifka axes — filler focus marking (FocusMark, the binary focus axis) and domain givenness (BinaryGivenness, the Prince hearer-status axis).

Use sites:

MoS islands: extractionISClash .focused domainGivenness (filler always focused; only the domain varies)
Subject islands: extractionISClash (fillerFocus c) (subjectGivenness c) (filler focus and domain givenness both vary by construction)
General FBC: same shape, varying both arguments.

Equations