next-lib renamed to lib, lib to old-lib

1 files changed, 52 insertions, 0 deletions

diff --git a/old-lib/resource/abstract/Conjunction.gf b/old-lib/resource/abstract/Conjunction.gf
new file mode 100644
index 000000000..4c2183919
--- /dev/null
+++ b/old-lib/resource/abstract/Conjunction.gf
@@ -0,0 +1,52 @@
+--1 Conjunction: 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
+--
+--
+-- $VP$ conjunctions are not covered here, because their applicability
+-- depends on language. Some special cases are defined in 
+-- [``Extra`` ../abstract/Extra.gf].
+
+
+abstract Conjunction = Cat ** {
+
+--2 Rules
+
+  fun
+    ConjS    : Conj -> [S] -> S ;     -- "he walks and she runs"
+    ConjAP   : Conj -> [AP] -> AP ;   -- "cold and warm"
+    ConjNP   : Conj -> [NP] -> NP ;   -- "she or we"
+    ConjAdv  : Conj -> [Adv] -> Adv ; -- "here or there"
+
+---b    DConjS   : DConj -> [S] -> S ;    -- "either he walks or she runs"
+---b    DConjAP  : DConj -> [AP] -> AP ;  -- "both warm and cold"
+---b    DConjNP  : DConj -> [NP] -> NP ;  -- "either he or she"
+---b    DConjAdv : DConj -> [Adv] -> Adv; -- "both here and there"
+
+--2 Categories
+
+-- These categories are only used in this module.
+
+  cat
+    [S]{2} ; 
+    [Adv]{2} ; 
+    [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] ;
+}
+
+--.
+-- *Note*. This module uses right-recursive lists. If backward
+-- compatibility with API 0.9 is needed, use
+-- [SeqConjunction SeqConjunction.html].