Bridge: HPSG Coreference Theory to Anaphora Phenomena

Connects HPSG binding theory (o-command, LOCAL domains) to the empirical coreference data in Phenomena.Anaphora.Coreference.

Main results

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

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

Check if HPSG 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.HPSGCoreference.capturesCoreferenceData (phenom : PhenomenonData) : Bool

Check all pairs in a PhenomenonData

Equations

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

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

HPSG captures reflexiveCoreferenceData

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

HPSG captures complementaryDistributionData

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

HPSG captures pronominalDisjointReferenceData

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

Check each pair individually for reflexiveCoreferenceData

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

HPSG captures the parseable reciprocal pair: plural antecedent required, singular antecedent blocked. (Pairs 1-2 of reciprocalCoreferenceData use 5-word coordinated sentences that exceed the simple clause parser.)