Documentation

Linglib.Fragments.Korean.Predicates

Korean Predicate Lexicon Fragment #

@cite{song-1996}

Korean causative predicates, including the PURP-type -ke ha- causative. The -ke ha- construction is non-implicative: the caused event is not entailed to have actually occurred.

"Keeho-ka Jinee-ka wus-ke ha-əss-ta" = "Keeho caused Jinee to smile" (Jinee may not have actually smiled — purposive, not sequential)

source
structure Fragments.Korean.Predicates.KoreanVerbEntryextends Core.Verbs.VerbCore :
Type

Korean verb entry: extends VerbCore with Korean inflectional paradigm.

Instances For
    source
    def Fragments.Korean.Predicates.instReprKoreanVerbEntry.repr :
    KoreanVerbEntry → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.Korean.Predicates.instReprKoreanVerbEntry :
      Repr KoreanVerbEntry
      Equations
      source
      def Fragments.Korean.Predicates.instBEqKoreanVerbEntry.beq :
      KoreanVerbEntry → KoreanVerbEntry → Bool
      Equations
      Instances For
        source
        instance Fragments.Korean.Predicates.instBEqKoreanVerbEntry :
        BEq KoreanVerbEntry
        Equations
        source
        def Fragments.Korean.Predicates.wus_ke_ha :
        KoreanVerbEntry

        웃게 하다 "wus-ke ha-da" — smile-PURP do = "cause to smile".

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.Korean.Predicates.ilk_ke_ha :
          KoreanVerbEntry

          읽게 하다 "ilk-ke ha-da" — read-PURP do = "cause to read".

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Korean.Predicates.cwuk_i :
            KoreanVerbEntry

            죽이다 "cwuk-i-da" — die-CAUS = "to kill" (lexical/morphological COMPACT).

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              theorem Fragments.Korean.Predicates.wus_ke_ha_is_cause :
              wus_ke_ha.causativeBuilder = some NadathurLauer2020.Builder.CausativeBuilder.cause

              Korean PURP-type -ke ha- uses .cause builder.

              source
              theorem Fragments.Korean.Predicates.cwuk_i_is_make :
              cwuk_i.causativeBuilder = some NadathurLauer2020.Builder.CausativeBuilder.make

              Korean COMPACT-type -i- uses .make builder.

              source
              theorem Fragments.Korean.Predicates.purp_compact_different_builders :
              wus_ke_ha.causativeBuilder ≠ cwuk_i.causativeBuilder

              The two Korean causative types use different builders.

              source
              def Fragments.Korean.Predicates.allVerbs :
              List KoreanVerbEntry
              Equations
              Instances For
                source
                def Fragments.Korean.Predicates.lookup (form : String) :
                Option KoreanVerbEntry
                Equations
                Instances For