Documentation

Linglib.Fragments.English.Lexicon

Unified English Lexicon #

Provides unified lookup across all English word classes.

This module re-exports the specific lexicons and provides a unified lookup function that searches across verbs, pronouns, nouns, etc.

source
inductive Fragments.English.Lexicon.LexResult :
Type

Result of unified lexicon lookup.

Since different word classes have different entry types, we use a sum type.

Instances For
    source
    def Fragments.English.Lexicon.instReprLexResult.repr :
    LexResult → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.English.Lexicon.instReprLexResult :
      Repr LexResult
      Equations
      source
      def Fragments.English.Lexicon.LexResult.toWord :
      LexResult → Word

      Convert a lookup result to a Word (for derivations).

      Note: This picks a default form (e.g., 3sg for verbs, singular for nouns). For morphologically-aware parsing, use the specific entry functions.

      Equations
      Instances For
        source
        def Fragments.English.Lexicon.lookupVerbByForm (form : String) :
        Option Predicates.Verbal.VerbEntry

        Look up a verb by any of its forms (infinitive, 3sg, past, etc.).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.English.Lexicon.lookup (form : String) :
          Option LexResult

          Unified lookup across all word classes.

          Searches in order: pronouns, determiners, verbs, nouns. (Pronouns and determiners first since they're closed classes.) Returns the first match found.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.English.Lexicon.lookupAll (forms : List String) :
            Option (List LexResult)

            Look up multiple words, returning None if any lookup fails.

            Equations
            Instances For
              source
              def Fragments.English.Lexicon.parseSentence (s : String) :
              Option (List LexResult)

              Parse a sentence string into lexical entries.

              Splits on whitespace and looks up each token.

              Equations
              Instances For
                source
                def Fragments.English.Lexicon.parseToWords (s : String) :
                Option (List Word)

                Parse a sentence and convert to Words.

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For