Docs / Morphology / Root / Basic

Roots

import Linglib.Morphology.Root.Basic · namespace Morphology

Source

Bloomfield calls a form that can be spoken alone a free form and defines a word as a minimum free form, one that does not consist of two or more lesser free forms. A word is primary when it contains no free form other than itself, and Qin's base definition of a root is a morph that occurs in a primary word, a morphological core. The definition is formal: the meaningless -fer of refer is a core. A primary word is either a single free morph or made of bound morphs only, so a morph is a core exactly when it is free or combines with bound morphs alone into a primary word, and every primary word is a word.

Implementation notes

Morphs are of an arbitrary type M and a language's free forms are a list of lists of them. The free forms are assumed not to include the empty form where a lemma needs it.

References

Declarations

L39–42
L44–45
L60–61
L63–64
L66–70

A morph is a core exactly when it is a free form or occurs in a primary word whose morphs are all bound, so that a bound morph is a core only together with another bound morph (Qin 2025).

theorem isCore_iffL72–83
{M : Type u_1} {F : List (List M)} {m : M} (h : ¬[] ∈ F) :
IsCore F m ↔ [m] ∈ F ∨ ∃ (w : List M), IsPrimaryWord F w ∧ m ∈ w ∧ ∀ (x : M), x ∈ w → ¬[x] ∈ F

Built from ,

L85–98