Gã Complement-Taking Predicates

@cite{allotey-2021}

Inventory of Gã verbs that take embedded clausal complements, classified by the clause type they select and (where the semantic class is clear) their @cite{landau-2015} predicate class.

All entries here are attested in @cite{allotey-2021}'s example data (the only verb-list source). The single exception is kee 'say', which the paper uses in passing as the standard akɛ-clause exemplar but does not pull out as part of its CTP inventory; it is kept because without at least one finite-complement verb the OC-vs-non-OC contrast cannot be exhibited end-to-end. The docstring on kee records this.

Coverage

• Subject-control verbs selecting irrealis ni-clauses: tao 'want', nye 'manage/be.able', kpleno 'agree', kpang 'plan', hiekpano 'forget' (Allotey ex 37–38)
• Object-control verbs selecting irrealis ni-clauses: kenya 'urge', dai 'force', laka 'persuade', wa 'help'
• Finite-clause verb selecting akɛ-clauses: kee 'say' (standard exemplar; see note above)

Identifier policy

ASCII identifiers; IPA orthography lives in .form strings. See Fragments/Ga/Basic.lean for rationale.

inductive Fragments.Ga.Control : Type

Whether a Gã CTP induces subject control or object control over the embedded ni-clause subject. none for finite-complement verbs that are not control verbs.

• subjectControl : Control
• objectControl : Control
• noneControl : Control

@[implicit_reducible]

instance Fragments.Ga.instDecidableEqControl : DecidableEq Control

Equations

• Fragments.Ga.instDecidableEqControl x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Fragments.Ga.instReprControl.repr : Control → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.Ga.instReprControl : Repr Control

Equations

• Fragments.Ga.instReprControl = { reprPrec := Fragments.Ga.instReprControl.repr }

structure Fragments.Ga.CTP : Type

A Gã complement-taking predicate.

The Landau predicate class is recorded for verbs whose semantic classification is clear; for verbs like wa 'help' (no clean fit in any of Landau's eight classes), it is left as none — paralleling the treatment of English try in Landau2015.try_unclassifiable.

• form : String
• gloss : String
• selects : EmbeddedClauseType
• control : Control
• landauClass : Option Landau2015.LandauPredicateClass

def Fragments.Ga.instReprCTP.repr : CTP → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.Ga.instReprCTP : Repr CTP

Equations

• Fragments.Ga.instReprCTP = { reprPrec := Fragments.Ga.instReprCTP.repr }

def Fragments.Ga.instDecidableEqCTP.decEq (x✝ x✝¹ : CTP) : Decidable (x✝ = x✝¹)

Equations

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

@[implicit_reducible]

instance Fragments.Ga.instDecidableEqCTP : DecidableEq CTP

Equations

• Fragments.Ga.instDecidableEqCTP = Fragments.Ga.instDecidableEqCTP.decEq

def Fragments.Ga.CTP.controlTier (c : CTP) : Option Landau2015.ControlTier

The control tier induced by a Gã CTP, derived from its Landau class. Returns none for unclassifiable verbs and finite-complement verbs.

Equations

• c.controlTier = Option.map (fun (x : Landau2015.LandauPredicateClass) => x.controlTier) c.landauClass

def Fragments.Ga.tao : CTP

'want' — desiderative, subject control. Logophoric tier.

Equations

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

def Fragments.Ga.kpleno : CTP

'agree' — desiderative, subject control. Logophoric tier.

Equations

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

def Fragments.Ga.kpang : CTP

'plan' — desiderative, subject control. Logophoric tier.

Equations

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

def Fragments.Ga.hiekpano : CTP

'forget' — implicative (negative), subject control. Predicative tier. Allotey ex 37–38: e-hiɛ-kpa-nɔ akɛ è-fee shi̇kpɔ̃ɔ̃ lε 'he forgot to do that work'. Like English forget (@cite{karttunen-1971}): failure entails the complement.

Equations

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

def Fragments.Ga.nye : CTP

'manage / be able to' — implicative (modal-flavored), subject control. Predicative tier. Allotey treats it as a modal/implicative verb; the semantics parallels English manage.

Equations

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

def Fragments.Ga.kenya : CTP

'urge' — desiderative, object control. Logophoric tier.

Equations

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

def Fragments.Ga.laka : CTP

'persuade' — desiderative, object control. Logophoric tier.

Equations

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

def Fragments.Ga.dai : CTP

'force' — implicative causative, object control. Predicative tier. Treated like English force per @cite{landau-2015}'s (4a): coercive causatives pattern as implicatives.

Equations

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

def Fragments.Ga.wa : CTP

'help' — object control. Landau class left unspecified (help does not fit any of Landau's eight classes cleanly).

Equations

• Fragments.Ga.wa = { form := "wa", gloss := "help", selects := Fragments.Ga.EmbeddedClauseType.irrealisNi, control := Fragments.Ga.Control.objectControl, landauClass := none }

def Fragments.Ga.kee : CTP

'say' — utterance verb, finite akɛ-clause.

Not pulled out as a CTP entry by @cite{allotey-2021}, but used in passing as the canonical example of an akɛ-clause selector (the cross-Kwa standard utterance verb). Kept here so that the library can exhibit the OC-vs-non-OC contrast end-to-end.

Equations

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

theorem Fragments.Ga.tao_irrealisNi : tao.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.hiekpano_irrealisNi : hiekpano.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.nye_irrealisNi : nye.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.kpleno_irrealisNi : kpleno.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.kpang_irrealisNi : kpang.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.kenya_irrealisNi : kenya.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.laka_irrealisNi : laka.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.dai_irrealisNi : dai.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.wa_irrealisNi : wa.selects = EmbeddedClauseType.irrealisNi

theorem Fragments.Ga.kee_finiteAke : kee.selects = EmbeddedClauseType.finiteAke

theorem Fragments.Ga.hiekpano_predicative : hiekpano.controlTier = some Landau2015.ControlTier.predicative

theorem Fragments.Ga.nye_predicative : nye.controlTier = some Landau2015.ControlTier.predicative

theorem Fragments.Ga.dai_predicative : dai.controlTier = some Landau2015.ControlTier.predicative

theorem Fragments.Ga.tao_logophoric : tao.controlTier = some Landau2015.ControlTier.logophoric

theorem Fragments.Ga.kpleno_logophoric : kpleno.controlTier = some Landau2015.ControlTier.logophoric

theorem Fragments.Ga.kpang_logophoric : kpang.controlTier = some Landau2015.ControlTier.logophoric

theorem Fragments.Ga.kenya_logophoric : kenya.controlTier = some Landau2015.ControlTier.logophoric

theorem Fragments.Ga.laka_logophoric : laka.controlTier = some Landau2015.ControlTier.logophoric