ClauseForm

Surface clause-form distinctions relevant to word order.

ClauseForm is a syntactic form distinction (matrix question vs embedded question vs declarative) — what conditions inversion and other word-order alternations. Echo questions are not a constructor here; they are declarative-form sentences with question force in discourse, handled via Features.InformationStructure. Distinct from Core.Mood.ClauseType, which pairs illocutionary force with verbal mood. The two complement each other: a polar question has ClauseForm = matrixQuestion and Core.Mood.ClauseType = ⟨interrogative, indicative⟩.

inductive Features.ClauseForm : Type

• declarative : ClauseForm
• matrixQuestion : ClauseForm
• embeddedQuestion : ClauseForm

def Features.instReprClauseForm.repr : ClauseForm → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Features.instReprClauseForm : Repr ClauseForm

Equations

• Features.instReprClauseForm = { reprPrec := Features.instReprClauseForm.repr }

@[implicit_reducible]

instance Features.instDecidableEqClauseForm : DecidableEq ClauseForm

Equations

• Features.instDecidableEqClauseForm x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯