Ukrainian Question Particles #

@cite{simik-2024}

Lexical entries for Ukrainian interrogative particles.

Particles #

Particle	Romanization	Gloss	Layer	Bias
чи	čy	neutral PQ	CP	none
хіба	xiba	RAZVE (mirative)	PerspP	+evidential

Cross-Module Connections #

SlavicPQStrategies.ukrainian: PQ strategy profile (clause-initial čy obligatory)
Cross-Slavic RAZVE family: xiba is the Ukrainian cognate of Russian razve

source

structure Fragments.Ukrainian.QuestionParticles.QParticleEntry :

Type

A Ukrainian interrogative particle entry.

form : String
romanization : String
gloss : String
layer : Semantics.Questions.QParticleLayer
polarOk : Bool
declOk : Bool
whOk : Bool
requiresEvidentialBias : Bool
requiresEpistemicBias : Bool

Instances For

source

def Fragments.Ukrainian.QuestionParticles.instReprQParticleEntry.repr :

QParticleEntry → Nat → Std.Format

Equations

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

Instances For

source

instance Fragments.Ukrainian.QuestionParticles.instReprQParticleEntry :

Repr QParticleEntry

Equations

Fragments.Ukrainian.QuestionParticles.instReprQParticleEntry = { reprPrec := Fragments.Ukrainian.QuestionParticles.instReprQParticleEntry.repr }

source

def Fragments.Ukrainian.QuestionParticles.instDecidableEqQParticleEntry.decEq (x✝ x✝¹ : QParticleEntry) :

Decidable (x✝ = x✝¹)

Equations

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

Instances For

source

instance Fragments.Ukrainian.QuestionParticles.instDecidableEqQParticleEntry :

DecidableEq QParticleEntry

Equations

Fragments.Ukrainian.QuestionParticles.instDecidableEqQParticleEntry = Fragments.Ukrainian.QuestionParticles.instDecidableEqQParticleEntry.decEq

source

instance Fragments.Ukrainian.QuestionParticles.instBEqQParticleEntry :

BEq QParticleEntry

Equations

Fragments.Ukrainian.QuestionParticles.instBEqQParticleEntry = { beq := Fragments.Ukrainian.QuestionParticles.instBEqQParticleEntry.beq }

source

def Fragments.Ukrainian.QuestionParticles.instBEqQParticleEntry.beq :

QParticleEntry → QParticleEntry → Bool

Equations

One or more equations did not get rendered due to their size.
Fragments.Ukrainian.QuestionParticles.instBEqQParticleEntry.beq x✝¹ x✝ = false

Instances For

source

def Fragments.Ukrainian.QuestionParticles.cy :

QParticleEntry

чи čy — obligatory clause-initial PQ particle (@cite{simik-2024} ex. 29). Neutral baseline, no bias requirements.

Equations

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

Instances For

source

def Fragments.Ukrainian.QuestionParticles.xiba :

QParticleEntry

хіба xiba — mirative/dubitative particle (RAZVE family, @cite{simik-2024} §4.2.4). Ukrainian cognate of Russian razve. Indicates conflict between speaker's prior state and contextual evidence.

Equations