Hawaiian possession profile #
Bare per-language possession defs for Hawaiian (Austronesian, ISO haw),
per the project's "per-language data flows through Fragments" rule.
Substrate types (PredicativeStrategy, AdnominalMarking, …) live in
Linglib/Features/Possession.lean. Cross-linguistic theorems consuming
these values live in Studies/NicholsBickel2013.lean.
Examples: ko'u makuahine (o-class); ka'u puke (a-class). Classic Oceanic alienable vs inalienable: a-class (alienable) vs o-class (inalienable body parts, kinship, clothing, land).