Documentation

Linglib.Theories.Syntax.Minimalism.Core.FromFragments

Minimalist Interpretation of Fragment Entries #

Maps Fragment lexical entries to formal SyntacticObjects via LIToken.

This is the theory interpretation layer: Fragment entries are theory-neutral, and this module provides the Minimalist-specific interpretation using the formal SyntacticObject type from SyntacticObjects.lean.

Design #

Example #

VerbEntry.sleep (intransitive) →.leaf ⟨.simple.V [], "sleeps"⟩
VerbEntry.eat (transitive) →.leaf ⟨.simple.V [.D], "eats"⟩
VerbEntry.give (ditransitive) →.leaf ⟨.simple.V [.D,.D], "gives"⟩
source
def Minimalism.Core.FromFragments.verbToSelStack (v : Fragments.English.Predicates.Verbal.VerbEntry) :
SelStack

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

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

    Convert a VerbEntry to a formal SyntacticObject.

    Uses uposToCat indirectly: verbs always map to Cat.V.

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

      Convert a PronounEntry to a formal SyntacticObject.

      Pronouns are D heads (they project as DPs).

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

        Convert a NounEntry to a formal SyntacticObject.

        Proper names are D (project as DP heads); common nouns are N.

        Equations
        Instances For
          source
          def Minimalism.Core.FromFragments.determinerToSO (d : Fragments.English.Determiners.QuantifierEntry) (id : ℕ) :
          SyntacticObject

          Convert a QuantifierEntry to a formal SyntacticObject.

          Determiners are D heads that select N.

          Equations
          Instances For
            source
            def Minimalism.Core.FromFragments.lexResultToSO (r : Fragments.English.Lexicon.LexResult) (id : ℕ) :
            SyntacticObject

            Convert a unified LexResult to a formal SyntacticObject.

            Equations
            Instances For