English Complementizers Lexicon Fragment

Lexical entries for the English complementizers that, if, whether, as root Complementizer entries extended with the English-specific flags (conditional, optional). if is split between conditional and embedded-question uses; the single entry carries both.

The adverbial subordinators because, although, while are not complementizers (adverbial subordination is outside complementation, [Noo07]); they are plain SCONJ words below. The morphologically distinct preposition to and the infinitival particle to live in Auxiliaries.lean and FunctionWords.lean respectively.

structure English.Complementizers.CompEntryextends Complementizer : Type

An English complementizer entry: the root schema plus the English-specific flags.

• form : String
• script : Option String
• position : Option Morphology.FormativePosition
• noonanType : Option NoonanCompType
• clauseForm : Option Features.ClauseForm
• verbForm : Option UD.VerbForm
• licenser : Option Licenser
• agrees : Option Bool
• factive : Option Bool
• conditional : Bool

  Introduces a conditional protasis (if)?

• optional : Bool

  Can be omitted (that-drop)?

@[implicit_reducible]

instance English.Complementizers.instReprCompEntry : Repr CompEntry

Equations

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

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

Equations

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

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

Equations

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

@[implicit_reducible]

instance English.Complementizers.instBEqCompEntry : BEq CompEntry

Equations

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

def English.Complementizers.instDecidableEqCompEntry.decEq (x✝ x✝¹ : CompEntry) : Decidable (x✝ = x✝¹)

Equations

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

@[implicit_reducible]

instance English.Complementizers.instDecidableEqCompEntry : DecidableEq CompEntry

Equations

• English.Complementizers.instDecidableEqCompEntry = English.Complementizers.instDecidableEqCompEntry.decEq

def English.Complementizers.that : CompEntry

Equations

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

def English.Complementizers.if_ : CompEntry

Equations

• English.Complementizers.if_ = { form := "if", position := some Morphology.FormativePosition.detached, clauseForm := some Features.ClauseForm.embeddedQuestion, conditional := true }

def English.Complementizers.whether : CompEntry

Equations

• English.Complementizers.whether = { form := "whether", position := some Morphology.FormativePosition.detached, clauseForm := some Features.ClauseForm.embeddedQuestion }

def English.Complementizers.allComplementizers : List CompEntry

The complementizer inventory (adverbial subordinators excluded).

Equations

• English.Complementizers.allComplementizers = [English.Complementizers.that, English.Complementizers.if_, English.Complementizers.whether]

Adverbial subordinators

Not complementizers ([Noo07] excludes adverbial subordination); recorded as plain subordinating-conjunction words.

def English.Complementizers.because : Word

Equations

• English.Complementizers.because = { form := "because", cat := UD.UPOS.SCONJ }

def English.Complementizers.although : Word

Equations

• English.Complementizers.although = { form := "although", cat := UD.UPOS.SCONJ }

def English.Complementizers.while_ : Word

Equations

• English.Complementizers.while_ = { form := "while", cat := UD.UPOS.SCONJ }