Russian Verbal Prefixes

@cite{svenonius-2004} @cite{dendikken-1995}

Lexical entries for Russian verbal prefixes encoding the lexical / superlexical distinction of @cite{svenonius-2004}: lexical prefixes are R-heads inside VP (resultative, particle-like); superlexical prefixes are Asp-heads outside VP (aspectual operators). The same prefix string can realise either class — paper §1 ex. 1a/1c uses za- both ways. Diagnostic 56c (paper §4.1): superlexicals select imperfective stems. Connects to @cite{dendikken-1995}'s "affixal particle" thesis (book §5.2.5 fn. 10), which the lex class instantiates and the superlex class doesn't subdivide.

Main definitions

• RussianPrefixedVerbEntry — a single lexical entry.
• inventory — six canonical entries.

Aspect, SuperlexicalSubtype, PrefixClass, and IsSuperlexical live in Linglib.Fragments.Slavic.Params (shared across the Slavic cluster).

Main results

• inventory_transparent_concat — every entry's prefixedForm is the literal concatenation of morpheme ++ bareStem.
• stemAspect_imperfective_of_isSuperlexical — Svenonius's diagnostic 56c verified across the inventory.

structure Fragments.Slavic.Russian.VerbalPrefixes.RussianPrefixedVerbEntry : Type

A Russian prefixed-verb entry. Latin transliteration with ' for the soft-sign infinitive ending.

• bareStem : String

  Bare verb stem (infinitive).

• stemAspect : Aspect

  Aspect of the bare stem.

• morpheme : String

  The prefix morpheme.

• prefixedForm : String

  The prefixed perfective infinitive.

• prefixClass : PrefixClass

  @cite{svenonius-2004} class.

• baseGloss : String

  Gloss of the bare stem.

• prefixedGloss : String

  Gloss of the prefixed perfective.

Lexical entries

def Fragments.Slavic.Russian.VerbalPrefixes.zabrosit : RussianPrefixedVerbEntry

za-brosit' 'kick into / throw into' — lexical za- (@cite{svenonius-2004} §1 ex. 1a, transparently resultative spatial). Built on the perfective stem brosit'.

Equations

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

def Fragments.Slavic.Russian.VerbalPrefixes.vybrosit : RussianPrefixedVerbEntry

vy-brosit' 'throw out' — lexical vy- (English out analogue; @cite{svenonius-2004} ex. 4a uses the secondary imperfective vy-brasyvatj). Built on the perfective stem brosit'.

Equations

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

def Fragments.Slavic.Russian.VerbalPrefixes.prinesti : RussianPrefixedVerbEntry

pri-nesti 'bring (carry to)' — lexical pri- (allative). The lex classification of pri- is from broader Slavicist literature (Romanova 2004; Babko-Malaya 2003) — @cite{svenonius-2004} §1-§5 does not work pri- as an example. Built on the imperfective determinate-motion stem nesti.

Equations

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

Superlexical entries

def Fragments.Slavic.Russian.VerbalPrefixes.zabrosatInceptive : RussianPrefixedVerbEntry

za-brosat' 'start throwing' — superlexical za- INCP (@cite{svenonius-2004} §1 ex. 1c). Minimal pair with zabrosit on the same morpheme but different prefixClass. Built on the imperfective stem brosat' (per Svenonius's diagnostic 56c).

Equations

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

def Fragments.Slavic.Russian.VerbalPrefixes.posidet : RussianPrefixedVerbEntry

po-sidet' 'sit for a while' — superlexical po- DLMT (canonical delimitative). Built on the imperfective stem sidet'.

Equations

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

def Fragments.Slavic.Russian.VerbalPrefixes.dopisat : RussianPrefixedVerbEntry

do-pisat' 'finish writing' — superlexical do- CMPL. Note: do- is the standard Russian completive in broader Slavicist literature; @cite{svenonius-2004} §3 takes Bulgarian iz- as the canonical completive instead. Built on the imperfective stem pisat'.

Equations

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

def Fragments.Slavic.Russian.VerbalPrefixes.inventory : List RussianPrefixedVerbEntry

The canonical inventory: three lexical entries plus three superlexical entries (with the zabrosit / zabrosatInceptive minimal pair on za-).

Equations

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

Properties

def Fragments.Slavic.Russian.VerbalPrefixes.IsTransparentConcat (e : RussianPrefixedVerbEntry) : Prop

An entry's prefixedForm is the literal concatenation of its morpheme and bareStem. The inventory deliberately avoids voicing-assimilation prefixes (iz-, raz-, voz-, bez-) where this would fail.

Equations

• Fragments.Slavic.Russian.VerbalPrefixes.IsTransparentConcat e = (e.prefixedForm = e.morpheme ++ e.bareStem)

@[implicit_reducible]

instance Fragments.Slavic.Russian.VerbalPrefixes.instDecidablePredRussianPrefixedVerbEntryIsTransparentConcat : DecidablePred IsTransparentConcat

Equations

• Fragments.Slavic.Russian.VerbalPrefixes.instDecidablePredRussianPrefixedVerbEntryIsTransparentConcat e = decEq e.prefixedForm (e.morpheme ++ e.bareStem)

theorem Fragments.Slavic.Russian.VerbalPrefixes.inventory_transparent_concat (e : RussianPrefixedVerbEntry) (he : e ∈ inventory) : IsTransparentConcat e

Every entry in inventory is a transparent concatenation.

theorem Fragments.Slavic.Russian.VerbalPrefixes.stemAspect_imperfective_of_isSuperlexical (e : RussianPrefixedVerbEntry) (he : e ∈ inventory) (hs : e.prefixClass.IsSuperlexical) : e.stemAspect = Aspect.imperfective

@cite{svenonius-2004}'s diagnostic 56c (paper §4.1): a superlexical entry has an imperfective bare stem. Lexical entries are unconstrained.