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)

structure Fragments.Korean.Predicates.KoreanVerbEntryextends Semantics.Lexical.VerbCore : Type

Korean verb entry: extends VerbCore with Korean inflectional paradigm.

• form : String
• complementType : ComplementType
• subjectEntailments : Option ArgumentStructure.EntailmentProfile.EntailmentProfile
• objectEntailments : Option ArgumentStructure.EntailmentProfile.EntailmentProfile
• controlType : ControlType
• altComplementType : Option ComplementType
• altControlType : ControlType
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• speechActVerb : Bool
• vendlerClass : Option Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Aspect.Incremental.VerbIncClass
• presupType : Option PresupTriggerType
• postsupType : Option PostsupType
• projectionBehavior : Option ProjectionBehavior
• selectsDimension : Option Features.Dimension.Dimension
• cosType : Option Features.ChangeOfState.CoSType
• implicative : Option Features.Implicative
• causative : Option Features.Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• takesQuestionBase : Bool
• complementSig : Option Core.NaturalLogic.EntailmentSig
• senseTag : SenseTag
• levinClass : Option LevinClass
• rootProfile : Option Roots.RootProfile
• formDecl : String

  Declarative form (-ta)

• formPast : String

  Past form (-əss-ta)

• formAdnom : String

  Adnominal form (-n)

• formProgressive : String

  Progressive form (-go itta)

@[implicit_reducible]

instance Fragments.Korean.Predicates.instReprKoreanVerbEntry : Repr KoreanVerbEntry

Equations

• Fragments.Korean.Predicates.instReprKoreanVerbEntry = { reprPrec := Fragments.Korean.Predicates.instReprKoreanVerbEntry.repr }

def Fragments.Korean.Predicates.instReprKoreanVerbEntry.repr : KoreanVerbEntry → ℕ → Std.Format

Equations

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

def Fragments.Korean.Predicates.instBEqKoreanVerbEntry.beq : KoreanVerbEntry → KoreanVerbEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Korean.Predicates.instBEqKoreanVerbEntry.beq x✝¹ x✝ = false

@[implicit_reducible]

instance Fragments.Korean.Predicates.instBEqKoreanVerbEntry : BEq KoreanVerbEntry

Equations

• Fragments.Korean.Predicates.instBEqKoreanVerbEntry = { beq := Fragments.Korean.Predicates.instBEqKoreanVerbEntry.beq }

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.

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.

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.

theorem Fragments.Korean.Predicates.wus_ke_ha_is_cause : wus_ke_ha.causative = some Features.Causative.cause

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

theorem Fragments.Korean.Predicates.cwuk_i_is_make : cwuk_i.causative = some Features.Causative.make

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

theorem Fragments.Korean.Predicates.purp_compact_different_builders : wus_ke_ha.causative ≠ cwuk_i.causative

The two Korean causative types use different builders.

def Fragments.Korean.Predicates.allVerbs : List KoreanVerbEntry

Equations

• Fragments.Korean.Predicates.allVerbs = [Fragments.Korean.Predicates.wus_ke_ha, Fragments.Korean.Predicates.ilk_ke_ha, Fragments.Korean.Predicates.cwuk_i]

def Fragments.Korean.Predicates.lookup (form : String) : Option KoreanVerbEntry

Equations

• Fragments.Korean.Predicates.lookup form = List.find? (fun (x : Fragments.Korean.Predicates.KoreanVerbEntry) => x.form == form) Fragments.Korean.Predicates.allVerbs