Comparative Construction Entry

A structured entry for a language's comparative construction, parameterized by Core.Case types. Used by Fragment files to encode how each language marks the standard of comparison.

This structure captures @cite{stassen-1985}'s typological parameters: case assignment (derived vs. fixed), fixed-case encoding (direct object vs. adverbial), and the spatial case of the standard marker.

structure Core.ComparativeEntry : Type

A language's comparative construction entry.

Encodes how the standard NP ('than X') is marked, following @cite{stassen-1985}'s classification parameters.

• standardCase : Case

  Case of the standard NP marker (from Core.Case).

• caseAssignment : CaseAssignment

  Whether standard NP case is derived from or independent of comparee.

• fixedEncoding : Option FixedCaseEncoding

  For fixed-case: direct object or adverbial encoding.

• standardMarker : String

  Surface form of the standard marker.

• hasDegreeMorphology : Bool

  Whether the language has overt degree morphology on the adjective.

def Core.instReprComparativeEntry.repr : ComparativeEntry → Nat → Std.Format

Equations

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

instance Core.instReprComparativeEntry : Repr ComparativeEntry

Equations

• Core.instReprComparativeEntry = { reprPrec := Core.instReprComparativeEntry.repr }

instance Core.instBEqComparativeEntry : BEq ComparativeEntry

Equations

• Core.instBEqComparativeEntry = { beq := Core.instBEqComparativeEntry.beq }

def Core.instBEqComparativeEntry.beq : ComparativeEntry → ComparativeEntry → Bool

Equations

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