Documentation

Linglib.Theories.Syntax.Minimalist.FromFragments

Minimalism: Fragment Lexicon → Syntactic Object Interpretation #

Maps Fragment lexical entries (VerbEntry, PronounEntry, NounEntry, QuantifierEntry) into Minimalist SyntacticObject leaves with the appropriate Cat and SelStack features.

Concrete derivation instances using these projections live in Phenomena/, anchored to specific paper analyses (e.g. Phenomena/ArgumentStructure/Studies/Adger2003.lean for c-selection).

Sections #

Selectional encoding #

verbToSelStack derives SelStack from VerbEntry.complementType. This is a substantive theory commitment: transitives c-select [.D], ditransitives [.D, .D], etc. The encoding is faithful to Adger 2003 ch. 3 c-selection (eq. 110: kiss [V, uN]) modulo a few documented simplifications (e.g. .np_pp collapses put NP PP-type frames; small clauses use .D rather than a dedicated predicational head).

source
def Minimalist.FromFragments.verbToSelStack (v : Fragments.English.Predicates.Verbal.VerbEntry) :
SelStack

Map a VerbEntry's complement type to a formal selectional stack.

Encodes Adger 2003 ch. 3 c-selection: each lexically required argument contributes one Cat feature consumed by complement Merge. The choice of .D for nominal arguments matches Adger ch. 7 (all argumental nominals are DPs).

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Minimalist.FromFragments.verbToSO (v : Fragments.English.Predicates.Verbal.VerbEntry) (id : ℕ) :
    SyntacticObject

    Convert a VerbEntry to a SyntacticObject leaf with Cat = .V and SelStack derived from complementType.

    Equations
    Instances For
      source
      def Minimalist.FromFragments.pronounToSO (p : Fragments.English.Pronouns.PronounEntry) (id : ℕ) :
      SyntacticObject

      Convert a PronounEntry to a SyntacticObject leaf. Pronouns are D heads (they project as DPs per Adger ch. 7).

      Equations
      Instances For
        source
        def Minimalist.FromFragments.nounToSO (n : Fragments.English.Nouns.NounEntry) (id : ℕ) :
        SyntacticObject

        Convert a NounEntry to a SyntacticObject leaf. Proper names are D-projecting (Longobardi 1994 / Adger ch. 7); common nouns are bare N (need null-D wrapping or an overt determiner to project as DPs).

        Equations
        Instances For
          source
          def Minimalist.FromFragments.determinerToSO (d : Theories.Semantics.Quantification.Lexicon.QuantifierEntry) (id : ℕ) :
          SyntacticObject

          Convert a QuantifierEntry (determiner) to a SyntacticObject leaf with Cat = .D and SelStack = [.N] (Adger ch. 7 eq. 110: the [D, uN]).

          Equations
          Instances For