moving a few things to deprecated

1 files changed, 0 insertions, 60 deletions

diff --git a/old-lib/resource/mathematical/Predication.gf b/old-lib/resource/mathematical/Predication.gf
deleted file mode 100644
index f53d44005..000000000
--- a/old-lib/resource/mathematical/Predication.gf
+++ /dev/null
@@ -1,60 +0,0 @@
---1 A Small Predication Library
---
--- (c) Aarne Ranta 2003-2006 under Gnu GPL.
---
--- This library is a derived library built on the language-independent Ground 
--- API of resource grammars. 
-
-abstract Predication = Cat ** {
-
---2 The category of atomic sentences
-
--- We want to use sentences in positive and negative forms but do not care about
--- tenses.
-
-fun
-  PosCl     : Cl -> S ;                -- positive sentence:   "x intersects y"
-  NegCl     : Cl -> S ;                -- negative sentence:   "x doesn't intersect y"
-
---2 Predication patterns.
-
-  predV     : V  -> NP -> Cl ;         -- one-place verb:      "x converges"
-  predV2    : V2 -> NP -> NP -> Cl ;   -- two-place verb:      "x intersects y"
-  predV3    : V3 -> NP->NP-> NP -> Cl; -- three-place verb:    "x intersects y at z"
-  predVColl : V  -> NP -> NP -> Cl ;   -- collective verb:     "x and y intersect"
-  predA     : A  -> NP -> Cl ;         -- one-place adjective: "x is even"
-  predA2    : A2 -> NP -> NP -> Cl ;   -- two-place adj:       "x is divisible by y"
-  predAComp : A  -> NP -> NP -> Cl;    -- comparative adj:     "x is greater than y"
-  predAColl : A  -> NP -> NP -> Cl ;   -- collective adj:      "x and y are parallel"
-  predN     : N  -> NP -> Cl ;         -- one-place noun:      "x is a point"
-  predN2    : N2 -> NP -> NP -> Cl ;   -- two-place noun:      "x is a divisor of y"
-  predNColl : N  -> NP -> NP -> Cl ;   -- collective noun:     "x and y are duals"
-  predAdv   : Adv -> NP -> Cl ;        -- adverb:              "x is inside"
-  predPrep  : Prep -> NP -> NP -> Cl ; -- preposition:         "x is outside y"
-
---2 Imperatives and infinitives.
-
-  impV2     : V2 -> NP -> Phr ;        -- imperative:          "solve the equation E"
-  infV2     : V2 -> NP -> Phr ;        -- infinitive:          "to solve the equation E"
-
---2 Individual-valued function applications
-
-  appN2     : N2 -> NP -> NP ;         -- one-place function:  "the successor of x"
-  appN3     : N3 -> NP -> NP -> NP ;   -- two-place function: "the distance from x to y"
-  appColl   : N2 -> NP -> NP -> NP ;   -- collective function: "the sum of x and y"
-
---2 Families of types
-
--- These are expressed by relational nouns applied to arguments.
-
-  famN2     : N2 -> NP -> CN ;         -- one-place family:    "divisor of x"
-  famN3     : N3 -> NP -> NP -> CN ;   -- two-place family:    "path from x to y"
-  famColl   : N2 -> NP -> NP -> CN ;   -- collective family:   "path between x and y"
-
---2 Type constructor
-
--- This is similar to a family except that the argument is a type.
-
-  typN2     : N2 -> CN -> CN ;         -- constructed type:   "list of integers"
-
-}