Tense to Common ; Idiom ; Text

lib/resource-1.0/abstract/Cat.gf

@@ -1,18 +1,15 @@
 --1 The category system
 
-abstract Cat = Tense ** {
+abstract Cat = Common ** {
 
   cat
 
 --2 Top-level units
 
--- Constructed in [Text Text.html].
+-- Constructed in [Text Text.html]: $Text$.
 
-    Text ;  -- text consisting of several phrases
+-- Constructed in [Phrase Phrase.html]: $Phr$ and
 
--- Constructed in [Phrase Phrase.html].
-
-    Phr ;   -- phrase in a text                    e.g. "But be quiet my darling."
     Utt ;   -- sentence, question, word...         e.g. "be quiet"
     Voc ;   -- vocative or "please"                e.g. "my darling"
 

lib/resource-1.0/abstract/Common.gf

@@ -0,0 +1,26 @@
+--1 Infrastructure with common implementations.
+
+-- This module defines the abstract parameters of tense, polarity, and
+-- anteriority, which are used in [Phrase Phrase.html] to generate different
+-- forms of sentences. Together they give 2 x 4 x 4 = 16 sentence forms.
+
+-- These tenses are defined for all languages in the library. More tenses
+-- can be defined in the language extensions, e.g. the "passé simple" of
+-- Romance languages.
+
+abstract Common = {
+
+  cat
+    Text ;   -- text consisting of several phrases
+    Phr ;    -- phrase in a text                    e.g. "But be quiet my darling."
+
+    Pol ;
+    Tense ;
+    Ant ;
+
+  fun
+    PPos, PNeg : Pol ;                  -- I sleep/don't sleep
+    TPres, TPast, TFut, TCond : Tense ; -- I sleep/slept/will sleep/would sleep
+    ASimul, AAnter : Ant ;              -- I sleep/have slept
+
+}

lib/resource-1.0/abstract/Idiom.gf

@@ -6,8 +6,10 @@ abstract Idiom = Cat ** {
 -- often different even in closely related languages.
 
   fun
-    ExistNP  : NP -> Cl ;  -- there is a house
-    ImpersVP : VP -> Cl ;  -- it rains
-    ProgrVP  : VP -> VP ;  -- sleeping
+    ExistNP   : NP -> Cl ;    -- there is a house
+    ImpersCl  : VP -> Cl ;    -- it rains
+    GenericCl : VP -> Cl ;    -- one sleeps
+
+    ProgrVP   : VP -> VP ;    -- sleeping
 
 }