Korean causative verbs

Korean has two causatives, which Sohn calls the long and the short form. The long form -ge ha- 'make do' denotes indirect causation and does not entail its effect: Song's kiho-ka cini-ka wus-ke ha-əss-ɨna cini-ka wus-ci=an-əss-ta 'Keeho caused Jinee to smile, but she didn't smile' is not contradictory. The short form suffixes -i-, -hi-, -li-, -ki- and their allomorphs to the stem and denotes immediate causation, as in jug-i-da 'kill' from jug-da 'die', Sohn's koyangi-ka cwi-lul cwuk-i-ess-ta 'a cat killed a rat'. The entries keep Song's Yale forms.

Main definitions

• Korean.Verb — a Korean verb, the root Verb
• Korean.verbs — the causative verbs of the two constructions

References

• [Soh94]
• [Son96]

structure Korean.Verbextends Verb : Type

A Korean verb, the root entry with its citation form in -ta.

• valency : Valency
• voiceType : Option VoiceType
• passivizable : Bool
• perfectAuxiliaries : Finset PerfectAuxiliary
• vendlerClass : Option Aspect.VendlerClass
• scaleDimension : Option Degree.ScalarDimension
• scalePolarity : Polarity
• direction : Option Spatial.Path.Direction
• incrementality : Option Aspect.Incrementality
• phasal : Option Aspect.Phasal
• factivity : Option Presupposition.Factivity
• implicative : NaturalLogic.ImplicationSignature
• opaqueContext : Bool
• attitude : Option _root_.Attitude
• readings : List Reading
• complementSig : Option NaturalLogic.Signature
• levinClasses : Finset ArgumentStructure.LevinClass
• levinExcluded : Finset ArgumentStructure.LevinClass
• root : Semantics.Root
• morphs : List Morphology.Morph
• speechActVerb : Bool
• senseTag : SenseTag

def Korean.instBEqVerb.beq : Verb → Verb → Bool

Equations

• Korean.instBEqVerb.beq { toVerb := a } { toVerb := b } = (a == b)
• Korean.instBEqVerb.beq x✝¹ x✝ = false

@[instance_reducible]

instance Korean.instBEqVerb : BEq Verb

Equations

• Korean.instBEqVerb = { beq := Korean.instBEqVerb.beq }

def Korean.wus_ke_ha : Verb

wus-ke ha-ta 'cause to smile', the periphrastic causative.

Equations

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

def Korean.ilk_ke_ha : Verb

ilk-ke ha-ta 'cause to read', the periphrastic causative.

Equations

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

def Korean.cwuk_i : Verb

cwuk-i-ta 'kill', the morphological causative of cwuk-ta 'die'.

Equations

• Korean.cwuk_i = { valency := Verb.Valency.ofFrame ArgumentFrame.np, morphs := [Morphology.Morph.root "cwuk", Morphology.Morph.suff "i", Morphology.Morph.suff "ta"] }

def Korean.verbs : List Verb

The inventory.

Equations

• Korean.verbs = [Korean.wus_ke_ha, Korean.ilk_ke_ha, Korean.cwuk_i]