Japanese Predicate Lexicon Fragment

[QOR+25] [Oza26]

Japanese predicates relevant to [QOR+25]. Properties like C-distributivity and NVP class are DERIVED from the attitude field.

structure Japanese.Predicates.JapaneseVerbEntryextends Verb : Type

Japanese verb entry: extends Verb with Japanese 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
• form3sg : String

  Nonpast finite form

• formPast : String

  Past form (-ta)

• formGerund : String

  Gerund / -te form

• formProgressive : String

  Progressive (-teiru)

@[implicit_reducible]

instance Japanese.Predicates.instReprJapaneseVerbEntry : Repr JapaneseVerbEntry

Equations

• Japanese.Predicates.instReprJapaneseVerbEntry = { reprPrec := Japanese.Predicates.instReprJapaneseVerbEntry.repr }

def Japanese.Predicates.instReprJapaneseVerbEntry.repr : JapaneseVerbEntry → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Japanese.Predicates.instBEqJapaneseVerbEntry : BEq JapaneseVerbEntry

Equations

• Japanese.Predicates.instBEqJapaneseVerbEntry = { beq := Japanese.Predicates.instBEqJapaneseVerbEntry.beq }

def Japanese.Predicates.instBEqJapaneseVerbEntry.beq : JapaneseVerbEntry → JapaneseVerbEntry → Bool

Equations

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

def 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.

def Japanese.Predicates.osore : JapaneseVerbEntry

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

Equations

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

def 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.

def Japanese.Predicates.shinpai : JapaneseVerbEntry

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

Equations

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

Causative predicates

Japanese morphological causative suffix -(s)ase ([Son96]: COMPACT type). Case marking on the causee distinguishes coercion from permission:

• ACC o = less causee control → .make (coercive reading)
• DAT ni = more causee control → .enable (permissive reading)

"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)

def 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.

def 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.

theorem Japanese.Predicates.ik_ase_is_make : ik_ase.causative = some Features.Causative.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.

def 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 ([Kra96], [Oza26]).

Equations

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

def 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 ([Kra96], [Oza26]).

Equations

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

def Japanese.Predicates.allVerbs : List JapaneseVerbEntry

Equations

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

def Japanese.Predicates.lookup (form : String) : Option JapaneseVerbEntry

Equations

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