Documentation

Linglib.Syntax.Clause.Complementation

Clause complementation: selection #

[Dea26] [Noo07]

The [Noo07]-anchored selection relation between verb frames and clause-typers.

Main definitions #

Implementation notes #

The typed complement-frame object (Slot, Frame) and [Dea26]'s CP external-shell inventory (Slot.Shell, Slot.ShellInventory, the named witnesses) live in Syntax/Clause/Frame.lean; [Noo07]'s enums (NoonanCompType, CTPClass, RealityStatus) in Features/Complementation.lean; the generated CTP sample rows in Data/Complementation/. Placement of individual languages in Table 79 cells consumes Fragment data and lives in Studies/Deal2026.lean; consistency checks on the selection relation live in Studies (e.g. Bondarenko2022.hanaxa_frames_realized).

Selection #

The [Noo07]-anchored relation between a verb's complement frames and a language's clause-typing morphemes.

source
def ComplementType.toNoonan :
ComplementType → Option NoonanCompType

The [Noo07] category of a complement frame; none for non-clausal frames.

Equations
Instances For
    source
    def Verb.compTypes (v : Verb) :
    List ComplementType

    The legacy ComplementType cells of a verb's frame inventory (frames richer than any cell are dropped).

    Equations
    Instances For
      source
      def Verb.realizes (v : Verb) (c : Complementizer) :
      Prop

      Some frame of v is realized by clause-typer c: a slot's [Noo07] coding matches the typer's. The ∃ t guard keeps coding-less slots from matching type-less typers (none/none).

      Equations
      Instances For