Icelandic Nominalization Fragment

@cite{wood-2023} @cite{wood-2015}

Icelandic deverbal nominalizations built with the suffixes -un, -an, -ing, -sla, and -naður. @cite{wood-2023} Ch. 3 establishes that -un is the most productive nominalizer, and that nominalizations can receive CEN (Complex Event Nominal), SEN (Simple Event Nominal), or RN (Result/Referring Nominal) readings depending on the allosemes of v and n in the structure [nP n [vP v √ROOT]].

This fragment provides lexical entries for key Icelandic nominalizations, connecting them to the -st verb data in Predicates.lean.

inductive Fragments.Icelandic.Nominalizations.NomSuffix : Type

Icelandic nominalizing suffixes. All spell out n in different morphological contexts — they are NOT different functional heads (@cite{wood-2023} Ch. 2 (2.1), Ch. 3).

The book lists: -un, -ing, -sla, -stur, -a, -n, -Ø, -ð, plus others (-aður, -ning). This fragment covers the most common ones.

• un : NomSuffix
• ing : NomSuffix
• sla : NomSuffix
• stur : NomSuffix
• adur : NomSuffix

instance Fragments.Icelandic.Nominalizations.instDecidableEqNomSuffix : DecidableEq NomSuffix

Equations

• Fragments.Icelandic.Nominalizations.instDecidableEqNomSuffix x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Fragments.Icelandic.Nominalizations.instBEqNomSuffix : BEq NomSuffix

Equations

• Fragments.Icelandic.Nominalizations.instBEqNomSuffix = { beq := Fragments.Icelandic.Nominalizations.instBEqNomSuffix.beq }

def Fragments.Icelandic.Nominalizations.instBEqNomSuffix.beq : NomSuffix → NomSuffix → Bool

Equations

• Fragments.Icelandic.Nominalizations.instBEqNomSuffix.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Fragments.Icelandic.Nominalizations.instReprNomSuffix : Repr NomSuffix

Equations

• Fragments.Icelandic.Nominalizations.instReprNomSuffix = { reprPrec := Fragments.Icelandic.Nominalizations.instReprNomSuffix.repr }

def Fragments.Icelandic.Nominalizations.instReprNomSuffix.repr : NomSuffix → ℕ → Std.Format

Equations

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

def Fragments.Icelandic.Nominalizations.NomSuffix.form : NomSuffix → String

PF realization of the suffix.

Equations

• Fragments.Icelandic.Nominalizations.NomSuffix.un.form = "-un"
• Fragments.Icelandic.Nominalizations.NomSuffix.ing.form = "-ing"
• Fragments.Icelandic.Nominalizations.NomSuffix.sla.form = "-sla"
• Fragments.Icelandic.Nominalizations.NomSuffix.stur.form = "-stur"
• Fragments.Icelandic.Nominalizations.NomSuffix.adur.form = "-aður"

structure Fragments.Icelandic.Nominalizations.IcelandicNom : Type

An Icelandic deverbal nominalization entry.

• nomForm : String

  The nominal form.

• baseVerb : String

  The base verb (active form).

• gloss : String

  English gloss.

• suffix : NomSuffix

  Nominalizing suffix.

• availableReadings : List Morphology.DM.Allosemy.NominalizationReading

  Available readings for this nominal.

• stVerb : Option Predicates.IcelandicStVerb

  Corresponding -st verb entry, if one exists.

• hasPPrefix : Bool

  Does P-prefixing apply? (Ch. 4)

• prefixedP : Option String

  The prefixed preposition, if any.

instance Fragments.Icelandic.Nominalizations.instReprIcelandicNom : Repr IcelandicNom

Equations

• Fragments.Icelandic.Nominalizations.instReprIcelandicNom = { reprPrec := Fragments.Icelandic.Nominalizations.instReprIcelandicNom.repr }

def Fragments.Icelandic.Nominalizations.instReprIcelandicNom.repr : IcelandicNom → ℕ → Std.Format

Equations

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

def Fragments.Icelandic.Nominalizations.instBEqIcelandicNom.beq : IcelandicNom → IcelandicNom → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Icelandic.Nominalizations.instBEqIcelandicNom.beq x✝¹ x✝ = false

instance Fragments.Icelandic.Nominalizations.instBEqIcelandicNom : BEq IcelandicNom

Equations

• Fragments.Icelandic.Nominalizations.instBEqIcelandicNom = { beq := Fragments.Icelandic.Nominalizations.instBEqIcelandicNom.beq }

def Fragments.Icelandic.Nominalizations.opnun : IcelandicNom

opnun 'opening' — from opna 'open' (@cite{wood-2023} Ch. 3, Ch. 5). CEN: opnun dyranna tók langan tíma 'the opening of the door took a long time' RN: opnunin var þöng 'the opening was narrow'

Equations

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

def Fragments.Icelandic.Nominalizations.sofnun : IcelandicNom

söfnun 'collection' — from safna 'collect' (@cite{wood-2023} Ch. 5). CEN: söfnun á sýnum 'collecting of samples' The running example in Ch. 5 for argument structure in CENs.

Equations

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

def Fragments.Icelandic.Nominalizations.pvottur : IcelandicNom

þvottur 'washing' — from þvo 'wash' (@cite{wood-2023} Ch. 6). CEN: þvo-ttur Guðrúnar á fötunum 'Guðrún's washing of the clothes' SEN: Þvo-ttur-inn tók langan tíma 'The washing took a long time' RN: Þvo-ttur-inn á að fara í vélina 'The laundry should go in the machine' Key example: all three readings available.

Equations

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

def Fragments.Icelandic.Nominalizations.misheyrn : IcelandicNom

misheyrn 'mishearing' — from misheyrast 'mishear' (@cite{wood-2023} Ch. 5). Subject-experiencer -st verb; nominalization retains experiencer semantics via Poss head.

Equations

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

def Fragments.Icelandic.Nominalizations.vontun : IcelandicNom

vöntun 'need/want' — from vanta 'need' (@cite{wood-2023} Ch. 5). Ambiguous between target and experiencer interpretations: vöntun góðs starfsfólks can mean 'need for good employees' (target) or 'the company's need' (experiencer).

Equations

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

def Fragments.Icelandic.Nominalizations.vidvorun : IcelandicNom

viðvörun 'warning' — from viðvara 'warn' (@cite{wood-2023} Ch. 6). CEN: viðvörun Guðrúnar á hættunni 'Guðrún's warning of the danger' SEN/State: Viðvörunin stóð í mörg ár 'The warning stood for many years' Simple entity: Ég snerti viðvörunina 'I touched the warning'

Equations

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

def Fragments.Icelandic.Nominalizations.notkun : IcelandicNom

notkun 'use' — from nota 'use' (@cite{wood-2023} Ch. 5). CEN reading; the verbalizer -ka appears in the nominal but not in the verb (nota vs not-k-un).

Equations

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

def Fragments.Icelandic.Nominalizations.addaun : IcelandicNom

aðdáun 'admiration' — from dást að 'admire' (@cite{wood-2023} Ch. 6). P-prefixing: að 'to' must be prefixed to the noun. CEN: Aðdáun Guðrúnar á Maríu 'Guðrún's admiration of María' SEN/State: Aðdáunin stóð í mörg ár 'The admiration lasted for many years' No concrete entity reading (6.13c is unacceptable).

Equations

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

def Fragments.Icelandic.Nominalizations.vidgerd : IcelandicNom

viðgerð 'repair' — from gera við 'fix/repair' (@cite{wood-2023} Ch. 4). P-prefixing pattern 2: við conditions root meaning and must be prefixed, but cannot be doubled as complement.

Equations

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

def Fragments.Icelandic.Nominalizations.umonnun : IcelandicNom

umönnun 'taking care of' — from annast um (@cite{wood-2023} Ch. 4). P-prefixing pattern 2.

Equations

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

def Fragments.Icelandic.Nominalizations.allNoms : List IcelandicNom

All nominalization entries.

Equations

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

theorem Fragments.Icelandic.Nominalizations.un_most_common : (List.filter (fun (n : IcelandicNom) => n.suffix == NomSuffix.un) allNoms).length ≥ (List.filter (fun (n : IcelandicNom) => n.suffix != NomSuffix.un) allNoms).length

-un is the most common suffix in the fragment.

theorem Fragments.Icelandic.Nominalizations.all_have_readings : (allNoms.all fun (n : IcelandicNom) => !n.availableReadings.isEmpty) = true

All nominalizations have at least one available reading.

theorem Fragments.Icelandic.Nominalizations.opnun_from_opnast : opnun.stVerb = some Predicates.opnast

opnun connects to the -st verb opnast.

theorem Fragments.Icelandic.Nominalizations.opnun_opnast_same_base : opnun.baseVerb = Predicates.opnast.activeForm.getD ""

opnun and opnast share the same base verb.

theorem Fragments.Icelandic.Nominalizations.pprefixed_have_p : ((List.filter (fun (x : IcelandicNom) => x.hasPPrefix) allNoms).all fun (n : IcelandicNom) => n.prefixedP.isSome) = true

P-prefixed nominalizations have a prefixed preposition.

theorem Fragments.Icelandic.Nominalizations.pvottur_three_readings : pvottur.availableReadings.length = 3

þvottur has all three basic readings (CEN, SEN, RN).