Korean Predicate Lexicon Fragment

[Son96]

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 Korean.Predicates.KoreanVerbEntryextends Verb : Type

Korean verb entry: extends Verb with Korean inflectional paradigm.

• frames : List Frame
• subjectEntailments : Option ArgumentStructure.EntailmentProfile
• objectEntailments : Option ArgumentStructure.EntailmentProfile
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• vendlerClass : Option Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Semantics.Aspect.Incremental.VerbIncClass
• cosType : Option Features.ChangeOfState.CoSType
• presupType : Option PresupTriggerType
• projectionBehavior : Option ProjectionBehavior
• implicative : Option Features.Implicative
• causative : Option Features.Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• readings : List Reading
• takesQuestionBase : Bool
• complementSig : Option NaturalLogic.EntailmentSig
• levinClass : Option Semantics.Lexical.LevinClass
• root : Root
• form : String
• speechActVerb : Bool
• senseTag : SenseTag
• 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 Korean.Predicates.instReprKoreanVerbEntry : Repr KoreanVerbEntry

Equations

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

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

Equations

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

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

Equations

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

@[implicit_reducible]

instance Korean.Predicates.instBEqKoreanVerbEntry : BEq KoreanVerbEntry

Equations

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

def 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 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 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 Korean.Predicates.wus_ke_ha_is_cause : wus_ke_ha.causative = some Features.Causative.cause

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

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

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

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

The two Korean causative types use different builders.

def Korean.Predicates.allVerbs : List KoreanVerbEntry

Equations

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

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

Equations

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