bronzeage

examples/bronzeage/Bronzeage.gf

@@ -0,0 +1,31 @@
+abstract Bronzeage = Cat, Swadesh ** {
+
+  cat
+    Sent ;
+
+  fun
+    PhrPos    : Sent -> Phr ;
+    PhrNeg    : Sent -> Phr ;
+    PhrQuest  : Sent -> Phr ;
+    PhrImp    : Imp  -> Phr ;    
+    PhrImpNeg : Imp  -> Phr ;    
+
+    SentV  : V  -> NP -> Sent ;
+    SentV2 : V2 -> NP -> NP -> Sent ;
+    SentV3 : V3 -> NP -> NP -> NP -> Sent ;
+    SentA  : A  -> NP -> Sent ;
+    SentNP : NP -> NP -> Sent ;
+
+    SentAdvV  : V  -> NP -> Adv -> Sent ;
+    SentAdvV2 : V2 -> NP -> NP -> Adv -> Sent ;
+
+    ImpV  : V -> Imp ;
+    ImpV2 : V2 -> NP -> Imp ;
+
+    DetCN : Det -> CN -> NP ;
+    NumCN : Num -> CN -> NP ;
+
+    UseN  : N -> CN ;
+    ModCN : A -> CN -> CN ;
+
+}

examples/bronzeage/BronzeageEng.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:prelude:resource-1.0/swadesh
+
+concrete BronzeageEng of Bronzeage = CatEng, SwadeshEng ** BronzeageI with
+  (Lang = LangEng),
+  (Swadesh = SwadeshEng) ;
+

examples/bronzeage/BronzeageFin.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:resource-1.0/swadesh
+
+concrete BronzeageFin of Bronzeage = CatFin, SwadeshFin **  BronzeageI with
+  (Lang = LangFin),
+  (Swadesh = SwadeshFin) ;
+

examples/bronzeage/BronzeageFre.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:prelude:resource-1.0/swadesh
+
+concrete BronzeageFre of Bronzeage = CatFre, SwadeshFre **  BronzeageI with
+  (Lang = LangFre),
+  (Swadesh = SwadeshFre) ;
+

examples/bronzeage/BronzeageGer.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:resource-1.0/swadesh
+
+concrete BronzeageGer of Bronzeage = CatGer, SwadeshGer **  BronzeageI with
+  (Lang = LangGer),
+  (Swadesh = SwadeshGer) ;
+

examples/bronzeage/BronzeageI.gf

@@ -0,0 +1,51 @@
+incomplete concrete BronzeageI of Bronzeage = Cat, Swadesh ** open Lang in {
+
+  flags 
+    startcat = Phr ; optimize = all_subs ;
+    unlexer = text ; lexer = text ;
+
+  lincat
+    Sent = {s : SForm => Str} ; 
+
+  lin
+    PhrPos sent = {s = sent.s ! SPos ++ "."} ;
+    PhrNeg sent = {s = sent.s ! SNeg ++ "."} ;
+    PhrQuest sent = {s = sent.s ! SQuest ++ "?"} ;
+    PhrImp imp = {s = (PhrUtt NoPConj (UttImpSg PPos imp) NoVoc).s ++ "!"} ;
+    PhrImpNeg imp = {s = (PhrUtt NoPConj (UttImpSg PNeg imp) NoVoc).s ++ "!"} ;
+    
+    SentV  v np = mkSent np (UseV v) ;
+
+    SentV2 v x y = mkSent x (ComplV2 v y) ;
+    SentV3 v x y z = mkSent x (ComplV3 v y z) ;
+    SentA  a x = mkSent x (UseComp (CompAP (PositA a))) ;
+    SentNP a x = mkSent x (UseComp (CompNP a)) ;
+
+    SentAdvV  v np adv = mkSent np (AdvVP (UseV v) adv) ;
+    SentAdvV2 v x y adv = mkSent x (AdvVP (ComplV2 v y) adv) ;
+
+    ImpV v = ImpVP (UseV v) ;
+    ImpV2 v x = ImpVP (ComplV2 v x) ;
+
+    DetCN d n = DetCN d n ;
+    NumCN n cn = DetCN (DetPl (PlQuant IndefArt) n NoOrd) cn ;
+
+    UseN n = UseN n ;
+    ModCN a n = AdjCN (PositA a) n ;
+
+  param
+    SForm = SPos | SNeg | SQuest ;
+
+  oper
+    mkSent : NP -> VP -> Sent ;
+    mkSent np vp = 
+      let cl = PredVP np vp
+      in {
+        s = table {
+          SPos   => Predef.toStr S  (UseCl TPres ASimul PPos cl) ;
+          SNeg   => Predef.toStr S  (UseCl TPres ASimul PNeg cl) ;
+          SQuest => Predef.toStr QS (UseQCl TPres ASimul PPos (QuestCl cl))
+          } ;
+        lock_Sent = <>
+      } ;
+}

examples/bronzeage/BronzeageIta.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:prelude:resource-1.0/swadesh
+
+concrete BronzeageIta of Bronzeage = CatIta, SwadeshIta **  BronzeageI with
+  (Lang = LangIta),
+  (Swadesh = SwadeshIta) ;
+

examples/bronzeage/BronzeageNor.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:prelude:resource-1.0/swadesh
+
+concrete BronzeageNor of Bronzeage = CatNor, SwadeshNor **  BronzeageI with
+  (Lang = LangNor),
+  (Swadesh = SwadeshNor) ;
+

examples/bronzeage/BronzeageSpa.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:prelude:resource-1.0/swadesh
+
+concrete BronzeageSpa of Bronzeage = CatSpa, SwadeshSpa **  BronzeageI with
+  (Lang = LangSpa),
+  (Swadesh = SwadeshSpa) ;
+

examples/bronzeage/BronzeageSwe.gf

@@ -0,0 +1,6 @@
+--# -path=.:compiled:prelude:resource-1.0/swadesh
+
+concrete BronzeageSwe of Bronzeage = CatSwe, SwadeshSwe **  BronzeageI with
+  (Lang = LangSwe),
+  (Swadesh = SwadeshSwe) ;
+

examples/stoneage1/StoneageEng.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:prelude:resource-1.0/swadesh
 
 concrete StoneageEng of Stoneage = StoneageI with
-  (Lang = LangEng),
+  (Mathematical = MathematicalEng),
   (Swadesh = SwadeshEng) ;
 

examples/stoneage1/StoneageFin.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:resource-1.0/swadesh
 
 concrete StoneageFin of Stoneage = StoneageI with
-  (Lang = LangFin),
+  (Mathematical = MathematicalFin),
   (Swadesh = SwadeshFin) ;
 

examples/stoneage1/StoneageFre.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:prelude:resource-1.0/swadesh
 
 concrete StoneageFre of Stoneage = StoneageI with
-  (Lang = LangFre),
+  (Mathematical = MathematicalFre),
   (Swadesh = SwadeshFre) ;
 

examples/stoneage1/StoneageGer.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:resource-1.0/swadesh
 
 concrete StoneageGer of Stoneage = StoneageI with
-  (Lang = LangGer),
+  (Mathematical = MathematicalGer),
   (Swadesh = SwadeshGer) ;
 

examples/stoneage1/StoneageI.gf

@@ -1,4 +1,4 @@
-incomplete concrete StoneageI of Stoneage = open Lang, Swadesh in { 
+incomplete concrete StoneageI of Stoneage = open Mathematical, Swadesh in { 
 
 flags
   startcat=S ;
@@ -229,6 +229,14 @@ lin
 
 oper
 
+  PresV : V -> NP -> Phr = \v,s -> 
+    PhrUtt NoPConj (UttS (PosCl (predV v s))) NoVoc ;
+  PresV2 : V2 -> NP -> NP -> Phr = \v,s,o -> 
+    PhrUtt NoPConj (UttS (PosCl (predV2 v s o))) NoVoc ;
+  PresV3 : V3 -> NP -> NP -> NP -> Phr = \v,s,o,r -> 
+    PhrUtt NoPConj (UttS (PosCl (predV3 v s o r))) NoVoc ;
+
+{-
   PresV : V -> NP -> Phr = \v,s -> 
     PhrUtt NoPConj (UttS (UseCl TPres ASimul PPos 
       (PredVP s (UseV v)))) NoVoc ;
@@ -238,6 +246,7 @@ oper
   PresV3 : V3 -> NP -> NP -> NP -> Phr = \v,s,o,r -> 
     PhrUtt NoPConj (UttS (UseCl TPres ASimul PPos 
       (PredVP s (ComplV3 v o r)))) NoVoc ;
+-}
 
   ModA : A -> CN -> CN = \a ->
     AdjCN (PositA a) ;

examples/stoneage1/StoneageIta.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:prelude:resource-1.0/swadesh
 
 concrete StoneageIta of Stoneage = StoneageI with
-  (Lang = LangIta),
+  (Mathematical = MathematicalIta),
   (Swadesh = SwadeshIta) ;
 

examples/stoneage1/StoneageNor.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:prelude:resource-1.0/swadesh
 
 concrete StoneageNor of Stoneage = StoneageI with
-  (Lang = LangNor),
+  (Mathematical = MathematicalNor),
   (Swadesh = SwadeshNor) ;
 

examples/stoneage1/StoneageSpa.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:prelude:resource-1.0/swadesh
 
 concrete StoneageSpa of Stoneage = StoneageI with
-  (Lang = LangSpa),
+  (Mathematical = MathematicalSpa),
   (Swadesh = SwadeshSpa) ;
 

examples/stoneage1/StoneageSwe.gf

@@ -1,6 +1,6 @@
 --# -path=.:compiled:prelude:resource-1.0/swadesh
 
 concrete StoneageSwe of Stoneage = StoneageI with
-  (Lang = LangSwe),
+  (Mathematical = MathematicalSwe),
   (Swadesh = SwadeshSwe) ;
 

lib/resource-1.0/mathematical/Mathematical.gf

@@ -12,8 +12,8 @@
 abstract Mathematical = 
   Noun - [ComplN2], --- to avoid ambiguity
 --  Verb, 
---  Adjective,
---  Adverb,
+  Adjective,
+  Adverb,
   Numeral,
 --  Sentence, 
   Question,

lib/resource-1.0/mathematical/MathematicalEng.gf

@@ -3,8 +3,8 @@
 concrete MathematicalEng of Mathematical = 
   NounEng - [ComplN2], --- to avoid ambiguity 
 --  VerbEng, 
---  AdjectiveEng,
---  AdverbEng,
+  AdjectiveEng,
+  AdverbEng,
   NumeralEng,
 --  SentenceEng,
   QuestionEng,

lib/resource-1.0/mathematical/MathematicalFin.gf

@@ -3,8 +3,8 @@
 concrete MathematicalFin of Mathematical = 
   NounFin - [ComplN2], --- to avoid ambiguity 
 --  VerbFin, 
---  AdjectiveFin,
---  AdverbFin,
+  AdjectiveFin,
+  AdverbFin,
   NumeralFin,
 --  SentenceFin,
   QuestionFin,

lib/resource-1.0/mathematical/MathematicalFre.gf

@@ -3,8 +3,8 @@
 concrete MathematicalFre of Mathematical = 
   NounFre - [ComplN2], --- to avoid ambiguity 
 --  VerbFre, 
---  AdjectiveFre,
---  AdverbFre,
+  AdjectiveFre,
+  AdverbFre,
   NumeralFre,
 --  SentenceFre,
   QuestionFre,

lib/resource-1.0/mathematical/MathematicalGer.gf

@@ -3,8 +3,8 @@
 concrete MathematicalGer of Mathematical = 
   NounGer - [ComplN2], --- to avoid ambiguity 
 --  VerbGer, 
---  AdjectiveGer,
---  AdverbGer,
+  AdjectiveGer,
+  AdverbGer,
   NumeralGer,
 --  SentenceGer,
   QuestionGer,

lib/resource-1.0/mathematical/MathematicalIta.gf

@@ -3,8 +3,8 @@
 concrete MathematicalIta of Mathematical = 
   NounIta - [ComplN2], --- to avoid ambiguity 
 --  VerbIta, 
---  AdjectiveIta,
---  AdverbIta,
+  AdjectiveIta,
+  AdverbIta,
   NumeralIta,
 --  SentenceIta,
   QuestionIta,

lib/resource-1.0/mathematical/MathematicalNor.gf

@@ -3,8 +3,8 @@
 concrete MathematicalNor of Mathematical = 
   NounNor - [ComplN2], --- to avoid ambiguity 
 --  VerbNor, 
---  AdjectiveNor,
---  AdverbNor,
+  AdjectiveNor,
+  AdverbNor,
   NumeralNor,
 --  SentenceNor,
   QuestionNor,

lib/resource-1.0/mathematical/MathematicalSpa.gf

@@ -3,8 +3,8 @@
 concrete MathematicalSpa of Mathematical = 
   NounSpa - [ComplN2], --- to avoid ambiguity 
 --  VerbSpa, 
---  AdjectiveSpa,
---  AdverbSpa,
+  AdjectiveSpa,
+  AdverbSpa,
   NumeralSpa,
 --  SentenceSpa,
   QuestionSpa,

lib/resource-1.0/mathematical/MathematicalSwe.gf

@@ -3,8 +3,8 @@
 concrete MathematicalSwe of Mathematical = 
   NounSwe - [ComplN2], --- to avoid ambiguity 
 --  VerbSwe, 
---  AdjectiveSwe,
---  AdverbSwe,
+  AdjectiveSwe,
+  AdverbSwe,
   NumeralSwe,
 --  SentenceSwe,
   QuestionSwe,