Bridge: Minimalist Coreference Theory to Anaphora Phenomena

Connects Minimalist binding theory (c-command, locality) to the empirical coreference data in Phenomena.Anaphora.Coreference.

Main results

• captures_reflexive_coreference: Minimalism correctly predicts reflexive binding
• captures_complementary_distribution: Minimalism captures complementary distribution
• captures_pronominal_disjoint_reference: Minimalism captures disjoint reference
• reflexive_pairs_captured: Per-pair verification

def Phenomena.Anaphora.Studies.MinimalismCoreference.capturesCoreferenceMinimalPair (pair : MinimalPair) : Bool

Check if Minimalism correctly predicts a minimal pair for coreference.

Grammatical sentence should pass, ungrammatical should fail.

Equations

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

def Phenomena.Anaphora.Studies.MinimalismCoreference.capturesCoreferenceData (phenom : PhenomenonData) : Bool

Check all pairs in a PhenomenonData

Equations

• Phenomena.Anaphora.Studies.MinimalismCoreference.capturesCoreferenceData phenom = phenom.pairs.all Phenomena.Anaphora.Studies.MinimalismCoreference.capturesCoreferenceMinimalPair

theorem Phenomena.Anaphora.Studies.MinimalismCoreference.captures_reflexive_coreference : capturesCoreferenceData Coreference.reflexiveCoreferenceData = true

Minimalism captures reflexiveCoreferenceData

theorem Phenomena.Anaphora.Studies.MinimalismCoreference.captures_complementary_distribution : capturesCoreferenceData Coreference.complementaryDistributionData = true

Minimalism captures complementaryDistributionData

theorem Phenomena.Anaphora.Studies.MinimalismCoreference.captures_pronominal_disjoint_reference : capturesCoreferenceData Coreference.pronominalDisjointReferenceData = true

Minimalism captures pronominalDisjointReferenceData

theorem Phenomena.Anaphora.Studies.MinimalismCoreference.reflexive_pairs_captured : (Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.john✝, Phenomena.Anaphora.Studies.MinimalismCoreference.sees✝, Phenomena.Anaphora.Studies.MinimalismCoreference.himself✝] = true ∧ Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.himself✝¹, Phenomena.Anaphora.Studies.MinimalismCoreference.sees✝¹, Phenomena.Anaphora.Studies.MinimalismCoreference.john✝¹] = false) ∧ (Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.mary✝, Phenomena.Anaphora.Studies.MinimalismCoreference.sees✝², Phenomena.Anaphora.Studies.MinimalismCoreference.herself✝] = true ∧ Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.herself✝¹, Phenomena.Anaphora.Studies.MinimalismCoreference.sees✝³, Phenomena.Anaphora.Studies.MinimalismCoreference.mary✝¹] = false) ∧ (Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.they✝, Phenomena.Anaphora.Studies.MinimalismCoreference.see✝, Phenomena.Anaphora.Studies.MinimalismCoreference.themselves✝] = true ∧ Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.themselves✝¹, Phenomena.Anaphora.Studies.MinimalismCoreference.see✝¹, Phenomena.Anaphora.Studies.MinimalismCoreference.them✝] = false) ∧ (Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.john✝², Phenomena.Anaphora.Studies.MinimalismCoreference.sees✝⁴, Phenomena.Anaphora.Studies.MinimalismCoreference.himself✝²] = true ∧ Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.john✝³, Phenomena.Anaphora.Studies.MinimalismCoreference.sees✝⁵, Phenomena.Anaphora.Studies.MinimalismCoreference.herself✝²] = false) ∧ Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.they✝¹, Phenomena.Anaphora.Studies.MinimalismCoreference.see✝², Phenomena.Anaphora.Studies.MinimalismCoreference.themselves✝²] = true ∧ Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.they✝², Phenomena.Anaphora.Studies.MinimalismCoreference.see✝³, Phenomena.Anaphora.Studies.MinimalismCoreference.himself✝³] = false

Check each pair individually for reflexiveCoreferenceData

theorem Phenomena.Anaphora.Studies.MinimalismCoreference.reciprocal_plural_antecedent : Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.they✝, Phenomena.Anaphora.Studies.MinimalismCoreference.see✝, Phenomena.Anaphora.Studies.MinimalismCoreference.eachOther✝] = true ∧ Minimalism.Phenomena.Coreference.grammaticalForCoreference [Phenomena.Anaphora.Studies.MinimalismCoreference.john✝, Phenomena.Anaphora.Studies.MinimalismCoreference.sees✝, Phenomena.Anaphora.Studies.MinimalismCoreference.eachOther✝¹] = false

Minimalism captures the parseable reciprocal pair: plural antecedent required, singular antecedent blocked.