Documentation

Linglib.Fragments.English.WordOrder

English word-order profile #

WALS-derived word-order profile for English (ISO eng). Pure pass-through of WordOrderProfile.ofWALS "eng" — see Typology/WordOrder.lean for the underlying WALS Ch 81/82/83 lookup logic.

source
def Fragments.English.wordOrder :
Typology.WordOrder.WordOrderProfile

English word-order profile (WALS Ch 81/82/83 by ISO lookup).

Equations
Instances For
    source
    theorem Fragments.English.wordOrder_consistent :
    wordOrder.IsConsistent

    Drift sentinel: the profile is internally consistent (basic-order projections agree with svOrder and ovOrder when both are WALS-attested).