Documentation

Linglib.Studies.Anaphora.OsborneLi2023

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.

source
def OsborneLi2023.capturesCoreferenceData (phenom : Paradigms.AcceptabilityJudgment.PhenomenonData) :
Bool

Check all pairs in a PhenomenonData

Equations
Instances For
    source
    theorem OsborneLi2023.captures_reflexive_coreference :
    capturesCoreferenceData Phenomena.Anaphora.Coreference.reflexiveCoreferenceData = true

    CRDC captures reflexiveCoreferenceData

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

    CRDC captures complementaryDistributionData

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

    CRDC captures pronominalDisjointReferenceData

    source
    theorem 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

    source
    theorem 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.