Documentation

Linglib.Fragments.Japanese.Predicates

Japanese Predicate Lexicon Fragment #

@cite{qing-uegaki-2025} @cite{ozaki-2026}

Japanese predicates relevant to @cite{qing-uegaki-2025}. Properties like C-distributivity and NVP class are DERIVED from the attitudeBuilder field.

source
structure Fragments.Japanese.Predicates.JapaneseVerbEntryextends Core.Verbs.VerbCore :
Type

Japanese verb entry: extends VerbCore with Japanese inflectional paradigm.

Instances For
    source
    instance Fragments.Japanese.Predicates.instReprJapaneseVerbEntry :
    Repr JapaneseVerbEntry
    Equations
    source
    def Fragments.Japanese.Predicates.instReprJapaneseVerbEntry.repr :
    JapaneseVerbEntry → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.Japanese.Predicates.instBEqJapaneseVerbEntry :
      BEq JapaneseVerbEntry
      Equations
      source
      def Fragments.Japanese.Predicates.instBEqJapaneseVerbEntry.beq :
      JapaneseVerbEntry → JapaneseVerbEntry → Bool
      Equations
      Instances For
        source
        def Fragments.Japanese.Predicates.tanosimi :
        JapaneseVerbEntry

        楽しみ "tanosimi" — looking forward to (Class 1: positive, non-C-distributive).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.Japanese.Predicates.osore :
          JapaneseVerbEntry

          恐れ "osore" — fear (Class 2: negative, C-distributive).

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Japanese.Predicates.kitai :
            JapaneseVerbEntry

            期待 "kitai" — expect/hope (Class 3: positive, C-distributive, anti-rogative).

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Fragments.Japanese.Predicates.shinpai :
              JapaneseVerbEntry

              心配 "shinpai" — worry (Class 1: non-C-distributive).

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

                Causative predicates #

                Japanese morphological causative suffix -(s)ase (@cite{song-1996}: COMPACT type). Case marking on the causee distinguishes coercion from permission:

                "Hanako ga Ziroo o ik-ase-ta" = "Hanako made Ziro go" (ACC → make) "Hanako ga Ziroo ni ik-ase-ta" = "Hanako let Ziro go" (DAT → enable)

                source
                def Fragments.Japanese.Predicates.ik_ase :
                JapaneseVerbEntry

                行かせる "ik-ase-ru" — go-CAUS (ACC causee = make reading).

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Fragments.Japanese.Predicates.tabe_sase :
                  JapaneseVerbEntry

                  食べさせる "tabe-sase-ru" — eat-CAUS (ACC causee = make reading).

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    theorem Fragments.Japanese.Predicates.ik_ase_is_make :
                    ik_ase.causativeBuilder = some NadathurLauer2020.Builder.CausativeBuilder.make

                    Japanese causative -(s)ase uses .make builder (direct causation reading).

                    Accusative/Ablative Alternation Verbs #

                    Departure verbs that allow source marking with ACC -o or ABL kara. These are dyadic unaccusatives: two internal arguments, no thematic Voice.

                    source
                    def Fragments.Japanese.Predicates.hanareru :
                    JapaneseVerbEntry

                    離れる "hanareru" — leave (dyadic unaccusative, ACC/ABL alternation). Leaver = theme (raised to subject), Source = source of departure. voiceType := .nonThematic — unaccusativity is derived from Voice selection, not stipulated (@cite{kratzer-1996}, @cite{ozaki-2026}).

                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      def Fragments.Japanese.Predicates.deru :
                      JapaneseVerbEntry

                      出る "deru" — exit (dyadic unaccusative, ACC/ABL alternation). Leaver = theme (raised to subject), Source = source of departure. voiceType := .nonThematic — unaccusativity is derived from Voice selection, not stipulated (@cite{kratzer-1996}, @cite{ozaki-2026}).

                      Equations
                      • One or more equations did not get rendered due to their size.
                      Instances For
                        source
                        def Fragments.Japanese.Predicates.allVerbs :
                        List JapaneseVerbEntry
                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For
                          source
                          def Fragments.Japanese.Predicates.lookup (form : String) :
                          Option JapaneseVerbEntry
                          Equations
                          Instances For