Documentation

Linglib.Studies.Dunn2025

Slot/Filler Verification #

[Dun25] [KF99] [GS25]

[Dun25]'s variationist CxG treats abstraction as continuous — the proportion of open slots in a construction's typed form (abstractionLevel). This file computes the measure for constructions across the constructicon (ditransitive, must-V, let alone, WXDY) and verifies the structural properties of WXDY's flat slot projection: coreference grouping (X–Y coinstantiation via shared refIdx) and per-slot syntactic constraints ([loc -], [neg -], [ref ∅]).

Abstraction levels #

The continuous measure on the typed forms of constructions defined in their owning study files.

source
theorem Dunn2025.ditransitive_abstraction :
ConstructionGrammar.abstractionLevel ConstructionGrammar.ditransitive.slots = 1

Ditransitive: 4/4 open slots → abstraction level 1.

source
theorem Dunn2025.mustVerb_abstraction :
ConstructionGrammar.abstractionLevel GoldbergShirtz2025.mustVerbConstruction.form = 2 / 3

must-V: 2/3 open slots → abstraction level 2/3.

source
theorem Dunn2025.letAlone_abstraction :
ConstructionGrammar.abstractionLevel FillmoreKayOConnor1988.letAloneConstruction.form = 1 / 2

Let alone: 2/4 open slots → abstraction level 1/2.

source
def Dunn2025.veggieWrapForm :
ConstructionGrammar.TypedForm String

Veggie-wrap: a fully lexically specified compound ([Gol03]:220).

Equations
Instances For
    source
    theorem Dunn2025.veggieWrap_abstraction :
    ConstructionGrammar.abstractionLevel veggieWrapForm = 0

    Veggie-wrap: 0/2 open slots → abstraction level 0.

    source
    theorem Dunn2025.veggieWrap_is_lexicallySpecified :
    ConstructionGrammar.derivedSpecificity veggieWrapForm = ConstructionGrammar.Specificity.lexicallySpecified

    Veggie-wrap: derived .lexicallySpecified (all fixed).

    WXDY ([KF99], Figure 12) #

    wxdyConstruction.form (in Studies/KayFillmore1999.lean) is the flat projection of the paper's hierarchical AVM: valence sets, grammatical functions, coreference indices (#1, #2), and feature constraints ([loc -], [neg -], [ref ∅]), with the nesting lost.

    Coinstantiation (Figure 13, §4.2) is a general construction expressing subject control: the matrix subject and the complement's subject share a coreference index. WXDY's X–Y coindexation is an instance of this pattern.

    source
    def Dunn2025.coinstantiationForm :
    ConstructionGrammar.TypedForm String

    Coinstantiation construction ([KF99], Figure 13, §4.2).

    "She tried to leave": the subject of try (#1) = the understood subject of leave (#1). This is the mechanism underlying WXDY's X–Y coindexation.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      theorem Dunn2025.wxdy_abstraction :
      ConstructionGrammar.abstractionLevel Dunn2025.wxdyForm✝ = 2 / 5

      WXDY: 2/5 open slots → abstraction level 2/5.

      source
      theorem Dunn2025.wxdy_specificity :
      ConstructionGrammar.derivedSpecificity Dunn2025.wxdyForm✝ = ConstructionGrammar.Specificity.partiallyOpen

      WXDY is partiallyOpen: mix of open, headed, and fixed slots.

      source
      theorem Dunn2025.coinstantiation_specificity :
      ConstructionGrammar.derivedSpecificity coinstantiationForm = ConstructionGrammar.Specificity.fullyAbstract

      Coinstantiation is fully abstract (all slots open).

      Coreference constraints #

      source
      theorem Dunn2025.wxdy_coreference_count :
      ConstructionGrammar.refGroupCount Dunn2025.wxdyForm✝ = 1

      WXDY has exactly one coreference group (the X–Y coinstantiation).

      source
      theorem Dunn2025.wxdy_coinstantiation :
      ((List.head? Dunn2025.wxdyForm✝).bind fun (x : ConstructionGrammar.Slot String) => x.refIdx) = some 2 ∧ ((List.getLast? Dunn2025.wxdyForm✝).bind fun (x : ConstructionGrammar.Slot String) => x.refIdx) = some 2

      X (first slot) and Y (last slot) share coreference index 2: X is the understood subject of Y.

      source
      theorem Dunn2025.coinstantiation_coreference :
      ConstructionGrammar.refGroupCount coinstantiationForm = 1

      Coinstantiation has exactly one coreference group.

      Syntactic constraints #

      source
      theorem Dunn2025.wxdy_what_constraints :
      ConstructionGrammar.hasConstraint Dunn2025.wxdyForm✝ ConstructionGrammar.SlotConstraint.locMinus = true ∧ ConstructionGrammar.hasConstraint Dunn2025.wxdyForm✝ ConstructionGrammar.SlotConstraint.refEmpty = true

      WXDY-what is left-isolated ([loc -]) and nonreferential ([ref ∅]). These two constraints together explain why WXDY-what cannot take else modification and is not a true interrogative pronoun.

      source
      theorem Dunn2025.wxdy_doing_negMinus :
      ConstructionGrammar.hasConstraint Dunn2025.wxdyForm✝ ConstructionGrammar.SlotConstraint.negMinus = true

      WXDY-doing cannot be negated ([neg -]): "*What's X not doing Y?" is ungrammatical on the incredulity reading.

      source
      theorem Dunn2025.basic_forms_no_constraints :
      ConstructionGrammar.hasConstraint ConstructionGrammar.ditransitive.slots ConstructionGrammar.SlotConstraint.locMinus = false ∧ ConstructionGrammar.hasConstraint ConstructionGrammar.ditransitive.slots ConstructionGrammar.SlotConstraint.negMinus = false ∧ ConstructionGrammar.hasConstraint FillmoreKayOConnor1988.letAloneConstruction.form ConstructionGrammar.SlotConstraint.locMinus = false

      Neither the ditransitive nor let alone bear any slot constraints — the enriched constraint machinery is specific to constructions like WXDY that have fine-grained syntactic restrictions.