gfdoc & rem dutch

lib/resource-1.0/abstract/Conjunction.gf

@@ -1,18 +1,31 @@
+--1 Coordination
+
+-- Coordination is defined for many different categories; here is
+-- a sample. The rules apply to *lists* of two or more elements,
+-- and define two general patterns: 
+-- - ordinary conjunction: X,...X and X
+-- - distributed conjunction: both X,...,X and X
+--
+--
+
 abstract Conjunction = Cat ** {
 
+--2 Rules
+
   fun
+    ConjS    : Conj -> [S] -> S ;     -- "John walks and Mary runs"
+    ConjAP   : Conj -> [AP] -> AP ;   -- "even and prime"
+    ConjNP   : Conj -> [NP] -> NP ;   -- "John or Mary"
+    ConjAdv  : Conj -> [Adv] -> Adv ; -- "quickly or slowly"
 
-    ConjS    : Conj -> [S] -> S ;         -- "John walks and Mary runs"
-    ConjAP   : Conj -> [AP] -> AP ;       -- "even and prime"
-    ConjNP   : Conj -> [NP] -> NP ;       -- "John or Mary"
-    ConjAdv  : Conj -> [Adv] -> Adv ;     -- "quickly or slowly"
+    DConjS   : DConj -> [S] -> S ;    -- "either John walks or Mary runs"
+    DConjAP  : DConj -> [AP] -> AP ;  -- "both even and prime"
+    DConjNP  : DConj -> [NP] -> NP ;  -- "either John or Mary"
+    DConjAdv : DConj -> [Adv] -> Adv; -- "both badly and slowly"
 
-    DConjS   : DConj -> [S] -> S ;        -- "either John walks or Mary runs"
-    DConjAP  : DConj -> [AP] -> AP ;      -- "both even and prime"
-    DConjNP  : DConj -> [NP] -> NP ;      -- "either John or Mary"
-    DConjAdv : DConj -> [Adv] -> Adv ;    -- "both badly and slowly"
+--2 Categories
 
--- These categories are internal to this module.
+-- These categories are only used in this module.
 
   cat
     [S]{2} ; 
@@ -20,4 +33,11 @@ abstract Conjunction = Cat ** {
     [NP]{2} ; 
     [AP]{2} ;
 
+--2 List constructors
+
+-- The list constructors are derived from the list notation and therefore
+-- not given explicitly. But here are their type signatures:
+
+  --  BaseC : C -> C   -> [C] ;  -- for C = S, AP, NP, Adv
+  --  ConsC : C -> [C] -> [C] ;
 }