extensions from Codex

2026-09-28 21:23:39 -06:00 · 2026-09-26 09:05:13 +02:00
parent bfc0a89f99
commit 5e7330deb9
11 changed files with 283 additions and 10 deletions
@@ -0,0 +1,25 @@
+concrete NamesEus of Names = CatEus ** open ResEus, Prelude in {
+
+  lin
+    GivenName = nameNP ;
+    MaleSurname = nameNP ;
+    FemaleSurname = nameNP ;
+    PlSurname sn = (nameNP sn) ** {agr = Hauek} ;
+
+    FullName gn sn = nameNP (sn ** {s = gn.s ++ sn.s ; nbr = Sg}) ;
+
+    UseLN, PlainLN = nameNP ;
+
+    InLN ln = {s = (nameNP ln).s ! Ine} ;
+
+    AdjLN ap ln = ln ** {s = ap.s ! Hau ++ ln.s} ;
+
+  oper
+    nameNP : PNoun -> NounPhrase = \pn -> {
+      s = \\c => pn.s ++ artIndef ! c ! pn.ph ;
+      stem = pn.s ;
+      agr = case pn.nbr of {Sg => Hau ; Pl => Hauek} ;
+      anim = pn.anim ;
+      isDef = True
+      } ;
+}