Old English HIERAN

[Stu20] [BS17]

The finite paradigm of the Old English weak verb HIERAN 'hear' (§2.2, Table 3) from [Stu20]'s survey of Paradigm Function Morphology, run on the PFM1 engine of Morphology/Paradigm/Function.lean. The paradigm's exploded segmentation is captured by three affix blocks — past -d-, theme vowel, agreement — with the Identity Function Default filling empty positions; the bare imperative hīer is the IFD firing through every block. Only the past cells and the agreement-suffixed present plural are decided; the present theme-vowel conditioning across the full paradigm needs the block rules (10), which the source figure does not legibly give. Forms are transcribed from Table 3; block rules are read off the exploded segmentation, never recalled.

The article's other fragments are anchored to their originating work: §3.1's Kashmiri morphomic tense (attributed by the article to [Stu16] Ch. 8) is formalized in Studies/Stump2016.lean, and §3.2's rule conflation (the Swahili si- portmanteau) is the successor direction the portmanteau note in Morphology/Paradigm/Function.lean points to, left to future work.

Old English HIERAN 'hear' (§2.2, Table 3)

inductive Stump2020.Verb : Type

The weak verb HIERAN.

• hieran : Verb

@[implicit_reducible]

instance Stump2020.instDecidableEqVerb : DecidableEq Verb

Equations

• Stump2020.instDecidableEqVerb x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Stump2020.instFintypeVerb : Fintype Verb

Equations

• Stump2020.instFintypeVerb = { elems := { val := ↑Stump2020.Verb.enumList, nodup := Stump2020.Verb.enumList_nodup }, complete := Stump2020.instFintypeVerb._proof_1 }

inductive Stump2020.Feat : Type

Mood, tense, person, and number features (decomposed).

• ind : Feat
• sbj : Feat
• imp : Feat
• pres : Feat
• past : Feat
• p1 : Feat
• p2 : Feat
• p3 : Feat
• sg : Feat
• pl : Feat

@[implicit_reducible]

instance Stump2020.instDecidableEqFeat : DecidableEq Feat

Equations

• Stump2020.instDecidableEqFeat x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Stump2020.instFintypeFeat : Fintype Feat

Equations

• Stump2020.instFintypeFeat = { elems := { val := ↑Stump2020.Feat.enumList, nodup := Stump2020.Feat.enumList_nodup }, complete := Stump2020.instFintypeFeat._proof_1 }

def Stump2020.blockI : Morphology.PFM.Block Verb String (Finset Feat)

Block I (position i): the past-tense formative -d-.

Equations

• Stump2020.blockI = [{ klass := Finset.univ, props := {Stump2020.Feat.past}, payload := Morphology.PFM.Action.const fun (x : String) => x ++ "d" }, Morphology.PFM.identityDefault]

def Stump2020.blockII : Morphology.PFM.Block Verb String (Finset Feat)

Block II (position ii): the theme vowel — -o- in the past plural, -e- elsewhere in the past (the present-tense conditioning is not modelled).

Equations

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

def Stump2020.blockIII : Morphology.PFM.Block Verb String (Finset Feat)

Block III (position iii): agreement and mood — -st (2sg indicative, [Stu20]'s rule (7)), -þ (3sg present indicative), -aþ (present plural), -n (past plural).

Equations

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

def Stump2020.hieranPF (σ : Finset Feat) : String × Finset Feat

The HIERAN paradigm function: stem hīer through Blocks I–III.

Equations

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