English Complementizers Lexicon Fragment

Lexical entries for English subordinating complementizers: that, if, whether, because, although, while. Surface-form classification (question-introducing, conditional-introducing, optional) only — semantic clauses live in the relevant Theory or Study files.

if is split between conditional and embedded-question uses; the single Fragment entry carries both flags. The morphologically distinct preposition to and the infinitival particle to live in Auxiliaries.lean and FunctionWords.lean respectively.

structure Fragments.English.Complementizers.CompEntry : Type

• form : String
• question : Bool

  Introduces a question?

• conditional : Bool

  Introduces a conditional?

• optional : Bool

  Can be omitted?

@[implicit_reducible]

instance Fragments.English.Complementizers.instReprCompEntry : Repr CompEntry

Equations

• Fragments.English.Complementizers.instReprCompEntry = { reprPrec := Fragments.English.Complementizers.instReprCompEntry.repr }

def Fragments.English.Complementizers.instReprCompEntry.repr : CompEntry → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.English.Complementizers.instBEqCompEntry : BEq CompEntry

Equations

• Fragments.English.Complementizers.instBEqCompEntry = { beq := Fragments.English.Complementizers.instBEqCompEntry.beq }

def Fragments.English.Complementizers.instBEqCompEntry.beq : CompEntry → CompEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.English.Complementizers.instBEqCompEntry.beq x✝¹ x✝ = false

def Fragments.English.Complementizers.that : CompEntry

Equations

• Fragments.English.Complementizers.that = { form := "that", optional := true }

def Fragments.English.Complementizers.if_ : CompEntry

Equations

• Fragments.English.Complementizers.if_ = { form := "if", question := true, conditional := true }

def Fragments.English.Complementizers.whether : CompEntry

Equations

• Fragments.English.Complementizers.whether = { form := "whether", question := true }

def Fragments.English.Complementizers.because : CompEntry

Equations

• Fragments.English.Complementizers.because = { form := "because" }

def Fragments.English.Complementizers.although : CompEntry

Equations

• Fragments.English.Complementizers.although = { form := "although" }

def Fragments.English.Complementizers.while_ : CompEntry

Equations

• Fragments.English.Complementizers.while_ = { form := "while" }

def Fragments.English.Complementizers.allComplementizers : List CompEntry

Equations

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

def Fragments.English.Complementizers.CompEntry.toWord (c : CompEntry) : Word

Equations

• c.toWord = { form := c.form, cat := UD.UPOS.SCONJ }