Documentation

Linglib.Phenomena.Anaphora.Studies.Hudson1990

Dependency Grammar d-command binding → Coreference Phenomena #

Connects the Dependency Grammar coreference analysis (d-command based binding, from @cite{hudson-1990}) to the empirical coreference data in Phenomena.Anaphora.Coreference.

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

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

Check all pairs in a PhenomenonData

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

    Dependency Grammar captures reflexiveCoreferenceData

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

    Dependency Grammar captures complementaryDistributionData

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

    Dependency Grammar captures pronominalDisjointReferenceData

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

    Check each pair individually for reflexiveCoreferenceData

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

    DG d-command captures the parseable reciprocal pair: plural antecedent required, singular antecedent blocked.