Categories

The categorial features that label heads, the categories of the clausal spine and of the nominal and adpositional extended projections, and the selectional stack, the categories a head selects, consumed left to right.

Main definitions

• Minimalist.Cat, Minimalist.SelStack

References

• [Cho13]

inductive Minimalist.Cat : Type

The categorial features, the head categories of the clausal spine and the nominal and adpositional extended projections.

• V : Cat
• N : Cat
• A : Cat
• P : Cat
• D : Cat
• T : Cat
• C : Cat
• v : Cat
• n : Cat
• a : Cat
• Place : Cat
• Path : Cat
• Num : Cat
• Dem : Cat
• Q : Cat
• Voice : Cat
• Appl : Cat
• Foc : Cat
• Top : Cat
• Fin : Cat
• SA : Cat
• Say : Cat

  The say/assertion layer ([Maj21], [Kri23], [Mou09]), embedding the content of a verbal or representational sign. Unlike the root illocutionary layer SA, it is clause-internal, in the embedded left periphery with Say > Foc > T, and requires no CP ([EK23], [Egr26]).

• Force : Cat
• Neg : Cat
• Mod : Cat
• Rel : Cat
• Pol : Cat
• Asp : Cat
• Evid : Cat
• Nmlz : Cat

  The nominalizer ([Kei20]): the Hindi nominalized clause, a clause type distinct from CP.

• K : Cat

  The inherent-case shell ([New24]): KP wraps DP for oblique or inherent case.

def Minimalist.instReprCat.repr : Cat → Nat → Std.Format

Equations

• Minimalist.instReprCat.repr Minimalist.Cat.V prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.V")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.N prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.N")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.A prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.A")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.P prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.P")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.D prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.D")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.T prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.T")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.C prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.C")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.v prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.v")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.n prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.n")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.a prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.a")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Place prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Place")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Path prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Path")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Num prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Num")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Dem prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Dem")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Q prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Q")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Voice prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Voice")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Appl prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Appl")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Foc prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Foc")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Top prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Top")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Fin prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Fin")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.SA prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.SA")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Say prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Say")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Force prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Force")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Neg prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Neg")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Mod prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Mod")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Rel prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Rel")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Pol prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Pol")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Asp prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Asp")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Evid prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Evid")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.Nmlz prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.Nmlz")).group prec✝
• Minimalist.instReprCat.repr Minimalist.Cat.K prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalist.Cat.K")).group prec✝

@[instance_reducible]

instance Minimalist.instReprCat : Repr Cat

Equations

• Minimalist.instReprCat = { reprPrec := Minimalist.instReprCat.repr }

@[instance_reducible]

instance Minimalist.instDecidableEqCat : DecidableEq Cat

Equations

• Minimalist.instDecidableEqCat x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Minimalist.instInhabitedCat : Inhabited Cat

Equations

• Minimalist.instInhabitedCat = { default := Minimalist.instInhabitedCat.default }

@[reducible, inline]

abbrev Minimalist.SelStack : Type

A selectional stack, consumed left to right.

Equations

• Minimalist.SelStack = List Minimalist.Cat