CRDC (Conjunct Referential Dependency Constraint) → Coreference Phenomena

Connects @cite{osborne-li-2023} valency-based binding theory (CRDC) to the empirical coreference data in Phenomena.Anaphora.Coreference.

Proves that the CRDC analysis captures all reflexive coreference patterns, complementary distribution, and pronominal disjoint reference.

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

Check all pairs in a PhenomenonData

Equations

• Phenomena.Anaphora.Studies.OsborneLi2023.capturesCoreferenceData phenom = capturesPhenomenonData DepGrammar.CRDC.grammaticalForCoreference phenom

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

CRDC captures reflexiveCoreferenceData

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

CRDC captures complementaryDistributionData

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

CRDC captures pronominalDisjointReferenceData

theorem Phenomena.Anaphora.Studies.OsborneLi2023.reflexive_pairs_captured : (DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.john, DepGrammar.Nominal.sees, DepGrammar.Nominal.himself] = true ∧ DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.himself, DepGrammar.Nominal.sees, DepGrammar.Nominal.john] = false) ∧ (DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.mary, DepGrammar.Nominal.sees, DepGrammar.Nominal.herself] = true ∧ DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.herself, DepGrammar.Nominal.sees, DepGrammar.Nominal.mary] = false) ∧ (DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.they, DepGrammar.Nominal.see, DepGrammar.Nominal.themselves] = true ∧ DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.themselves, DepGrammar.Nominal.see, DepGrammar.Nominal.them] = false) ∧ (DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.john, DepGrammar.Nominal.sees, DepGrammar.Nominal.himself] = true ∧ DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.john, DepGrammar.Nominal.sees, DepGrammar.Nominal.herself] = false) ∧ DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.they, DepGrammar.Nominal.see, DepGrammar.Nominal.themselves] = true ∧ DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.they, DepGrammar.Nominal.see, DepGrammar.Nominal.himself] = false

Detailed verification of each reflexive pair

theorem Phenomena.Anaphora.Studies.OsborneLi2023.reciprocal_plural_antecedent : DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.they, DepGrammar.Nominal.see, DepGrammar.Nominal.eachOther] = true ∧ DepGrammar.CRDC.grammaticalForCoreference [DepGrammar.Nominal.john, DepGrammar.Nominal.sees, DepGrammar.Nominal.eachOther] = false

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