Documentation

Linglib.Studies.Hudson1990

Dependency Grammar d-command binding → Coreference Phenomena #

Connects the Dependency Grammar coreference analysis (d-command based binding, from [Hud90]) to the [Cho81] binding paradigm in Studies/Chomsky1981.lean.

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

source
def Hudson1990.capturesCoreferenceData (phenom : Features.MinimalPairs.PhenomenonData) :
Bool

Check all pairs in a PhenomenonData

Equations
Instances For
    source
    theorem Hudson1990.captures_reflexive_coreference :
    capturesCoreferenceData Chomsky1981.reflexiveCoreferenceData = true

    Dependency Grammar captures reflexiveCoreferenceData

    source
    theorem Hudson1990.captures_complementary_distribution :
    capturesCoreferenceData Chomsky1981.complementaryDistributionData = true

    Dependency Grammar captures complementaryDistributionData

    source
    theorem Hudson1990.captures_pronominal_disjoint_reference :
    capturesCoreferenceData Chomsky1981.pronominalDisjointReferenceData = true

    Dependency Grammar captures pronominalDisjointReferenceData

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

    Check each pair individually for reflexiveCoreferenceData

    source
    theorem Hudson1990.reciprocal_plural_antecedent :
    Hudson1990.grammaticalForCoreference✝ [DepGrammar.Nominal.they, DepGrammar.Nominal.see, DepGrammar.Nominal.eachOther] = true ∧ Hudson1990.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.