Serbian Temporal Connectives Fragment

@cite{rett-2020}

Cross-linguistic data on Serbian pre ('before') and posle ('after') showing overt viewpoint aspect morphology (PFV/IMPF) in embedded temporal clauses.

Serbian provides direct morphological evidence for @cite{rett-2020}'s coercion account: the PFV/IMPF distinction on the embedded verb overtly marks what English leaves covert (COMPLET/INCHOAT).

• PFV (perfective) in pre-clauses: yields ≺ final reading (bounded/telic, like English COMPLET coercion)
• IMPF (imperfective) in pre-clauses: yields ≺ initial reading (unbounded/atelic, the default)

This parallels the Tagalog PFV.NEUT/AIA distinction (see Fragments.Tagalog.TemporalConnectives) but uses the standard PFV/IMPF opposition rather than Tagalog's finer-grained system.

structure Fragments.Serbian.TemporalConnectives.AspectReadingEntry : Type

A Serbian temporal clause's reading is determined by the overt viewpoint aspect on the embedded verb. Reuses Tagalog's structure type since the pattern is the same: overt aspect → temporal reading.

• connective : String

  Connective form (Serbian)

• aspectLabel : String

  Description of the aspect form

• aspect : Semantics.Tense.Aspect.Core.ViewpointAspectB

  Viewpoint aspect category

• culminating : Bool

  Whether the aspect forces a bounded (telic/culminating) reading

• reading : English.TemporalExpressions.Reading

  Resulting reading of the temporal clause

def Fragments.Serbian.TemporalConnectives.instReprAspectReadingEntry.repr : AspectReadingEntry → ℕ → Std.Format

Equations

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

instance Fragments.Serbian.TemporalConnectives.instReprAspectReadingEntry : Repr AspectReadingEntry

Equations

• Fragments.Serbian.TemporalConnectives.instReprAspectReadingEntry = { reprPrec := Fragments.Serbian.TemporalConnectives.instReprAspectReadingEntry.repr }

instance Fragments.Serbian.TemporalConnectives.instBEqAspectReadingEntry : BEq AspectReadingEntry

Equations

• Fragments.Serbian.TemporalConnectives.instBEqAspectReadingEntry = { beq := Fragments.Serbian.TemporalConnectives.instBEqAspectReadingEntry.beq }

def Fragments.Serbian.TemporalConnectives.instBEqAspectReadingEntry.beq : AspectReadingEntry → AspectReadingEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Serbian.TemporalConnectives.instBEqAspectReadingEntry.beq x✝¹ x✝ = false

def Fragments.Serbian.TemporalConnectives.pre_impf : AspectReadingEntry

pre + IMPF → before-start (≺ initial). Imperfective in pre-clauses yields the default initial-point reading: the main event precedes the onset of the unbounded embedded event. This is the unmarked/default reading, parallel to English before with an atelic complement and Tagalog bago + PFV.NEUT.

Equations

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

def Fragments.Serbian.TemporalConnectives.pre_pfv : AspectReadingEntry

pre + PFV → before-finish (≺ final). Perfective in pre-clauses forces the bounded/coerced final-point reading: the main event precedes the culmination of the embedded event. This is the overt realization of English COMPLET, parallel to Tagalog bago + AIA.

Equations

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

def Fragments.Serbian.TemporalConnectives.posle_pfv : AspectReadingEntry

posle + PFV → after-finish (≻ final). Perfective in posle-clauses yields the default final-point reading: the main event follows the culmination of the embedded event. This is the unmarked reading for after.

Equations

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

def Fragments.Serbian.TemporalConnectives.posle_impf : AspectReadingEntry

posle + IMPF → after-start (≻ initial). Imperfective in posle-clauses forces the coerced initial-point reading: the main event follows the onset of the unbounded embedded event. This is the overt realization of English INCHOAT.

Equations

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

def Fragments.Serbian.TemporalConnectives.pre : English.TemporalExpressions.TemporalExprEntry

Serbian pre ('before'): licenses NPIs, non-veridical. Mirrors English before on all semantic properties.

Equations

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

def Fragments.Serbian.TemporalConnectives.posle : English.TemporalExpressions.TemporalExprEntry

Serbian posle ('after'): does not license NPIs, veridical. Mirrors English after on all semantic properties.

Equations

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

theorem Fragments.Serbian.TemporalConnectives.pre_aspect_determines_reading : pre_impf.connective = pre_pfv.connective ∧ pre_impf.reading ≠ pre_pfv.reading

Same connective (pre), but different aspect → different temporal reading.

theorem Fragments.Serbian.TemporalConnectives.posle_aspect_determines_reading : posle_pfv.connective = posle_impf.connective ∧ posle_pfv.reading ≠ posle_impf.reading

Same connective (posle), but different aspect → different temporal reading.

theorem Fragments.Serbian.TemporalConnectives.aspect_reading_symmetry : (pre_pfv.culminating = true ∧ posle_pfv.culminating = true) ∧ pre_impf.culminating = false ∧ posle_impf.culminating = false

The aspect–reading mapping is symmetric across connectives: PFV gives bounded (culminating) readings for both pre and posle; IMPF gives unbounded (non-culminating) readings for both.

theorem Fragments.Serbian.TemporalConnectives.veridicality_asymmetry : pre.complementVeridical = false ∧ posle.complementVeridical = true

The veridicality asymmetry holds cross-linguistically: pre is non-veridical, posle is veridical.

theorem Fragments.Serbian.TemporalConnectives.pre_matches_before : pre.order = English.TemporalExpressions.before_.order ∧ pre.licensesNPI = English.TemporalExpressions.before_.licensesNPI ∧ pre.defaultReading = English.TemporalExpressions.before_.defaultReading ∧ pre.coercedReading = English.TemporalExpressions.before_.coercedReading ∧ pre.complementVeridical = English.TemporalExpressions.before_.complementVeridical

Serbian pre and English before agree on all semantic properties.

theorem Fragments.Serbian.TemporalConnectives.posle_matches_after : posle.order = English.TemporalExpressions.after_.order ∧ posle.licensesNPI = English.TemporalExpressions.after_.licensesNPI ∧ posle.defaultReading = English.TemporalExpressions.after_.defaultReading ∧ posle.coercedReading = English.TemporalExpressions.after_.coercedReading ∧ posle.complementVeridical = English.TemporalExpressions.after_.complementVeridical

Serbian posle and English after agree on all semantic properties.