Combination Schemata

Three universal combination schemata shared across syntactic theories. @cite{mueller-2013} argues that Minimalism, HPSG, CCG, DG, and Construction Grammar converge on these three modes of binary combination, though with different terminology and formalisms. Abstracted from HPSG's immediate dominance schemata (@cite{pollard-sag-1994}).

inductive Core.CombinationKind : Type

Three universal combination schemata shared across syntactic theories.

@cite{mueller-2013} argues that every syntactic theory implements these three modes of combination, though with different terminology.

• headComplement : CombinationKind

  Head combines with its complement (selected argument). Minimalism: External Merge (with selection); HPSG: Head-Complement Schema; CCG: forward/backward application; DG: core dependency (obj, det,...).

• headSpecifier : CombinationKind

  Head combines with its specifier (non-selected argument). Minimalism: External Merge (without selection); HPSG: Head-Subject Schema; CCG: backward application (subject may be type-raised); DG: subject dependency.

• headFiller : CombinationKind

  Filler combines with a gapped structure (long-distance dependency). Minimalism: Internal Merge; HPSG: Head-Filler Schema; CCG: harmonic composition (primarily; composition also serves other functions like heavy NP shift); DG: non-projective dependency.

def Core.instReprCombinationKind.repr : CombinationKind → Nat → Std.Format

Equations

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

instance Core.instReprCombinationKind : Repr CombinationKind

Equations

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

instance Core.instDecidableEqCombinationKind : DecidableEq CombinationKind

Equations

• Core.instDecidableEqCombinationKind x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.instBEqCombinationKind.beq : CombinationKind → CombinationKind → Bool

Equations

• Core.instBEqCombinationKind.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.instBEqCombinationKind : BEq CombinationKind

Equations

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