German Clause Types

German clause-type taxonomy: five clause types distinguished by verb position (V2 vs verb-last) and complementizer presence (dass vs not). Descriptive German syntax; the sentence-mood analysis built on this taxonomy ([Gut15], Ch 5: which mood operators each clause type composes) lives in Studies/Gutzmann2015.lean.

Clause type	Example
dass-VL	"Dass du kommst!"
V2-declarative	"Jim wohnt in Berlin."
VL-interrogative	"Wann Peter kommt?"
V2-interrogative	"Kommt Peter?"
Imperative	"Tritt zurück!"

inductive German.ClauseTypes.GermanClauseType : Type

German clause types distinguished by verb position and complementizer presence.

• dassVL : GermanClauseType

  dass-VL: complementizer clause, verb-last.

• v2Declarative : GermanClauseType

  V2-declarative: finite verb in C⁰.

• v2Interrogative : GermanClauseType

  V2-interrogative: verb-second.

• vlInterrogative : GermanClauseType

  VL-interrogative: verb-last.

• imperative : GermanClauseType

  Imperative.

@[instance_reducible]

instance German.ClauseTypes.instDecidableEqGermanClauseType : DecidableEq GermanClauseType

Equations

• German.ClauseTypes.instDecidableEqGermanClauseType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance German.ClauseTypes.instReprGermanClauseType : Repr GermanClauseType

Equations

• German.ClauseTypes.instReprGermanClauseType = { reprPrec := German.ClauseTypes.instReprGermanClauseType.repr }

def German.ClauseTypes.instReprGermanClauseType.repr : GermanClauseType → Nat → Std.Format

Equations

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