German Modals Bridge

Constructs a ModalInventory from the German modal fragment and verifies that all German modals satisfy IFF (Independence of Force and Flavor).

This bridges the Fragment data (typed by GermanModalEntry) to the cross-linguistic typology infrastructure.

Reference: Kratzer, A. (1981). The Notional Category of Modality.

def Phenomena.Modality.GermanModalsBridge.german : Semantics.Modality.Typology.ModalInventory

German modal inventory, derived from the Fragment (single source of truth).

Equations

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

theorem Phenomena.Modality.GermanModalsBridge.german_all_iff : german.allIFF = true

All six German modals satisfy IFF.

theorem Phenomena.Modality.GermanModalsBridge.german_size : german.expressions.length = 6

German has six modal expressions.