Documentation

Linglib.Fragments.Greek.StandardModern.Complementizers

Modern Greek Complementizers @cite{christidis-1982} @cite{roussou-2010} #

@cite{roussou-2019} @cite{angelopoulos-2026}

The three Modern Greek complementizers and a small inventory of matrix verbs that select them. Consensus-only metadata: form, mood (indicative / subjunctive / factive), categorial [n]-feature, and the stativity / attitude classification of the matrix verbs.

Scope #

This file exposes ONLY consensus typological metadata. The content/situation typing of the matrix-verb selection that @cite{angelopoulos-2026} introduces (following @cite{bondarenko-2022}) is paper-specific apparatus and lives in Phenomena/Complementation/Studies/Angelopoulos2026.lean as a projection over these VerbCore entries — it does not pollute the fragment schema.

Three complementizers #

oti — indicative declarative (@cite{christidis-1982}, @cite{roussou-2010}). Combines with verbs of saying / belief / knowledge. Bears an uninterpretable [n]-feature checked by a light noun in its specifier per @cite{angelopoulos-2026} §3.1.
pu — factive declarative (@cite{christidis-1982}, @cite{roussou-2019}). Combines with emotive factives and doubles as adverbial / relative / interrogative pronoun where. Bears the same [n]-feature as oti.
na — subjunctive (@cite{grano-2024}). Already covered in Fragments.Greek.StandardModern.MoodChoice; referenced here for completeness, not redefined.

inductive Fragments.Greek.StandardModern.Complementizers.GreekComplementizer :

The three Modern Greek complementizers covered here. na is in MoodChoice.lean; GreekComplementizer.na is exposed for cross-reference but the substantive entries live there.

Instances For

@[implicit_reducible]

instance Fragments.Greek.StandardModern.Complementizers.instDecidableEqGreekComplementizer :

DecidableEq GreekComplementizer

Equations

Fragments.Greek.StandardModern.Complementizers.instDecidableEqGreekComplementizer x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Fragments.Greek.StandardModern.Complementizers.instReprGreekComplementizer.repr :

GreekComplementizer → ℕ → Std.Format

Equations

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

Instances For

@[implicit_reducible]

instance Fragments.Greek.StandardModern.Complementizers.instReprGreekComplementizer :

Repr GreekComplementizer

Equations

Fragments.Greek.StandardModern.Complementizers.instReprGreekComplementizer = { reprPrec := Fragments.Greek.StandardModern.Complementizers.instReprGreekComplementizer.repr }

def Fragments.Greek.StandardModern.Complementizers.GreekComplementizer.form :

GreekComplementizer → String

Phonological form.

Equations

Instances For

def Fragments.Greek.StandardModern.Complementizers.GreekComplementizer.bearsN :

GreekComplementizer → Bool

Bears an uninterpretable [n]-feature checked by a light noun in Spec,CP per @cite{angelopoulos-2026} §3.1. na does not bear [n]; its checking machinery is mood-driven (@cite{grano-2024}).

Equations

Instances For

def Fragments.Greek.StandardModern.Complementizers.GreekComplementizer.isFactive :

GreekComplementizer → Bool

Factive presupposition (consensus across @cite{christidis-1982}, @cite{roussou-2010}, @cite{roussou-2019}, @cite{angelopoulos-2026}).

Equations

Fragments.Greek.StandardModern.Complementizers.GreekComplementizer.pu.isFactive = true
x✝.isFactive = false

Instances For

theorem Fragments.Greek.StandardModern.Complementizers.all_finite (c : GreekComplementizer) :

c.form.length > 0

All three are finite.

theorem Fragments.Greek.StandardModern.Complementizers.n_bearing_complementizers :

GreekComplementizer.oti.bearsN = true ∧ GreekComplementizer.pu.bearsN = true ∧ GreekComplementizer.na.bearsN = false

oti and pu both bear the [n]-feature; na does not.

def Fragments.Greek.StandardModern.Complementizers.leo :

Semantics.Lexical.VerbCore

léo (λέω) 'say' — past tense ípe in @cite{angelopoulos-2026} ex. 1a. Speech-act verb, eventive (activity).

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.pistevo :

Semantics.Lexical.VerbCore

pistévo (πιστεύω) 'believe' — doxastic, stative.

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.ksero :

Semantics.Lexical.VerbCore

kséro (ξέρω) 'know' (alongside gnorízo) — factive doxastic, stative. Rejects manner adverbs (@cite{angelopoulos-2026} ex. 21a).

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.katalaveno :

Semantics.Lexical.VerbCore

katalavéno (καταλαβαίνω) 'understand' — eventive (allows manner adverbs in @cite{angelopoulos-2026} ex. 21b, 22a), factive doxastic.

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.sinidhitopio :

Semantics.Lexical.VerbCore

sinidhitopió (συνειδητοποιώ) 'realize' — eventive (achievement), factive doxastic (@cite{angelopoulos-2026} ex. 21b).

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.eksigo :

Semantics.Lexical.VerbCore

eksigó (εξηγώ) 'explain' — accomplishment, takes oti yielding explanans reading (@cite{angelopoulos-2026} ex. 4a).

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.metaniono :

Semantics.Lexical.VerbCore

metanióno (μετανιώνω) 'regret' — preferential (negative valence), stative. @cite{angelopoulos-2026} ex. 1b, 20.

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.areso :

Semantics.Lexical.VerbCore

aréso (αρέσω) 'appeal to / be liked by' — Class III experiencer, stative (@cite{angelopoulos-2026} ex. 13, 14; @cite{landau-2009}).

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.xerome :

Semantics.Lexical.VerbCore

xérome (χαίρομαι) 'be happy/glad' — preferential positive, stative.

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.thimame :

Semantics.Lexical.VerbCore

thimáme (θυμάμαι) 'remember' — ambiguous between direct- perception (eventive, with oti) and stative recollection (with pu). Citation form is the eventive one; @cite{angelopoulos-2026} ex. 22 contrasts the two.

Equations

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

Instances For

def Fragments.Greek.StandardModern.Complementizers.thimono :

Semantics.Lexical.VerbCore

thimóno (θυμώνω) 'get/be angry' — eventive (achievement) normally; stative when taking pu (@cite{angelopoulos-2026} ex. 19, 23).

Equations

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

Instances For

theorem Fragments.Greek.StandardModern.Complementizers.pu_only_verbs_stative :

metaniono.vendlerClass = some Features.VendlerClass.state ∧ areso.vendlerClass = some Features.VendlerClass.state ∧ xerome.vendlerClass = some Features.VendlerClass.state

The pu-only verbs are all stative. This is the consensus pattern (@cite{angelopoulos-2026} §2.3, restating the diagnostic from @cite{roussou-2019}).

theorem Fragments.Greek.StandardModern.Complementizers.oti_verbs_stativity_split :

leo.vendlerClass = some Features.VendlerClass.activity ∧ katalaveno.vendlerClass = some Features.VendlerClass.achievement ∧ pistevo.vendlerClass = some Features.VendlerClass.state ∧ ksero.vendlerClass = some Features.VendlerClass.state

The oti-only verbs span eventive and stative classes: léo, katalavéno, sinidhitopió, eksigó are eventive; pistévo and kséro are stative.