moving a few things to deprecated

47 files changed, 0 insertions, 820 deletions

diff --git a/old-lib/resource/mathematical/Mathematical.gf b/old-lib/resource/mathematical/Mathematical.gf
deleted file mode 100644
index 65afef3b1..000000000
--- a/old-lib/resource/mathematical/Mathematical.gf
+++ /dev/null
@@ -1,31 +0,0 @@
---1 The Mathematics API to the Resource Grammar
-
--- This grammar is a collection of the different modules.
--- It differs from $Lang$ in two main ways:
--- - the combinations in Noun, Verb, Adjective, Adverb, Sentence are not included
--- - instead, Symbol and Predication are used
--- 
--- 
--- In practice, the most important difference is that only present-tense sentences
--- are included, and that symbolic expressions are recognized as NPs.
-
-abstract Mathematical = 
-  Noun - [ComplN2], --- to avoid ambiguity
---  Verb, 
-  Adjective,
-  Adverb,
-  Numeral,
---  Sentence, 
-  Question,
-  Relative,
-  Conjunction,
-  Phrase,
-  Text,
-  Idiom,
-  Structural,
-
-  Symbol,
-  Predication,
-
-  Lexicon
-  ** {} ;
diff --git a/old-lib/resource/mathematical/MathematicalCat.gf b/old-lib/resource/mathematical/MathematicalCat.gf
deleted file mode 100644
index 36d6985f1..000000000
--- a/old-lib/resource/mathematical/MathematicalCat.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalCat of Mathematical = 
-  NounCat - [ComplN2], --- to avoid ambiguity 
---  VerbCat, 
-  AdjectiveCat,
-  AdverbCat,
-  NumeralCat,
---  SentenceCat,
-  QuestionCat,
-  RelativeCat,
-  ConjunctionCat,
-  PhraseCat,
-  TextX - [Tense,TPres,TPast,TFut,TCond],
-  IdiomCat,
-  StructuralCat,
-
-  SymbolCat,
-  PredicationCat, --  - [predV3,predV2], --- gf bug
-
-  LexiconCat
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalDan.gf b/old-lib/resource/mathematical/MathematicalDan.gf
deleted file mode 100644
index 7d8785b12..000000000
--- a/old-lib/resource/mathematical/MathematicalDan.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalDan of Mathematical = 
-  NounDan - [ComplN2], --- to avoid ambiguity 
---  VerbDan, 
-  AdjectiveDan,
-  AdverbDan,
-  NumeralDan,
---  SentenceDan,
-  QuestionDan,
-  RelativeDan,
-  ConjunctionDan,
-  PhraseDan,
-  TextX,
-  IdiomDan,
-
-  StructuralDan,
-
-  SymbolDan,
-  PredicationDan,
-
-  LexiconDan
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalEng.gf b/old-lib/resource/mathematical/MathematicalEng.gf
deleted file mode 100644
index 9042a3eb9..000000000
--- a/old-lib/resource/mathematical/MathematicalEng.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalEng of Mathematical = 
-  NounEng - [ComplN2], --- to avoid ambiguity 
---  VerbEng, 
-  AdjectiveEng,
-  AdverbEng,
-  NumeralEng,
---  SentenceEng,
-  QuestionEng,
-  RelativeEng,
-  ConjunctionEng,
-  PhraseEng,
-  StructuralEng,
-  TextX,
-  IdiomEng,
-
-  SymbolEng,
-  PredicationEng,
-
-  LexiconEng
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalFin.gf b/old-lib/resource/mathematical/MathematicalFin.gf
deleted file mode 100644
index 26704d6e3..000000000
--- a/old-lib/resource/mathematical/MathematicalFin.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalFin of Mathematical = 
-  NounFin - [ComplN2], --- to avoid ambiguity 
---  VerbFin, 
-  AdjectiveFin,
-  AdverbFin,
-  NumeralFin,
---  SentenceFin,
-  QuestionFin,
-  RelativeFin,
-  ConjunctionFin,
-  PhraseFin,
-  TextX,
-  IdiomFin,
-  StructuralFin,
-
-  SymbolFin,
-  PredicationFin,
-
-  LexiconFin
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalFre.gf b/old-lib/resource/mathematical/MathematicalFre.gf
deleted file mode 100644
index 65eb6a9b5..000000000
--- a/old-lib/resource/mathematical/MathematicalFre.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalFre of Mathematical = 
-  NounFre - [ComplN2], --- to avoid ambiguity 
---  VerbFre, 
-  AdjectiveFre,
-  AdverbFre,
-  NumeralFre,
---  SentenceFre,
-  QuestionFre,
-  RelativeFre,
-  ConjunctionFre,
-  PhraseFre,
-  TextX - [Tense,TPres,TPast,TFut,TCond],
-  IdiomFre,
-  StructuralFre,
-  
-  SymbolFre,
-  PredicationFre - [predV3], ---- gf bug
-
-  LexiconFre
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalGer.gf b/old-lib/resource/mathematical/MathematicalGer.gf
deleted file mode 100644
index 0d9eb45b5..000000000
--- a/old-lib/resource/mathematical/MathematicalGer.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalGer of Mathematical = 
-  NounGer - [ComplN2], --- to avoid ambiguity 
---  VerbGer, 
-  AdjectiveGer,
-  AdverbGer,
-  NumeralGer,
---  SentenceGer,
-  QuestionGer,
-  RelativeGer,
-  ConjunctionGer,
-  PhraseGer,
-  TextX - [Tense,TPres],
-  IdiomGer,
-  StructuralGer,
-
-  SymbolGer,
-  PredicationGer,
-
-  LexiconGer
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalIta.gf b/old-lib/resource/mathematical/MathematicalIta.gf
deleted file mode 100644
index 0591ef6c6..000000000
--- a/old-lib/resource/mathematical/MathematicalIta.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalIta of Mathematical = 
-  NounIta - [ComplN2], --- to avoid ambiguity 
---  VerbIta, 
-  AdjectiveIta,
-  AdverbIta,
-  NumeralIta,
---  SentenceIta,
-  QuestionIta,
-  RelativeIta,
-  ConjunctionIta,
-  PhraseIta,
-  TextX - [Tense,TPres,TPast,TFut,TCond],
-  IdiomIta,
-  StructuralIta,
-
-  SymbolIta,
-  PredicationIta, --  - [predV3,predV2], --- gf bug
-
-  LexiconIta
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalNor.gf b/old-lib/resource/mathematical/MathematicalNor.gf
deleted file mode 100644
index 383ced6eb..000000000
--- a/old-lib/resource/mathematical/MathematicalNor.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalNor of Mathematical = 
-  NounNor - [ComplN2], --- to avoid ambiguity 
---  VerbNor, 
-  AdjectiveNor,
-  AdverbNor,
-  NumeralNor,
---  SentenceNor,
-  QuestionNor,
-  RelativeNor,
-  ConjunctionNor,
-  PhraseNor,
-  TextX,
-  IdiomNor,
-
-  StructuralNor,
-
-  SymbolNor,
-  PredicationNor,
-
-  LexiconNor
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalSpa.gf b/old-lib/resource/mathematical/MathematicalSpa.gf
deleted file mode 100644
index 92cebf436..000000000
--- a/old-lib/resource/mathematical/MathematicalSpa.gf
+++ /dev/null
@@ -1,26 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalSpa of Mathematical = 
-  NounSpa - [ComplN2], --- to avoid ambiguity 
---  VerbSpa, 
-  AdjectiveSpa,
-  AdverbSpa,
-  NumeralSpa,
---  SentenceSpa,
-  QuestionSpa,
-  RelativeSpa,
-  ConjunctionSpa,
-  PhraseSpa,
-  TextSpa - [Tense,TPres,TPast,TFut,TCond],
-  IdiomSpa,
-  StructuralSpa,
-
-  SymbolSpa,
-  PredicationSpa, --  - [predV3,predV2], --- gf bug
-
-  LexiconSpa
-  ** {
-
-flags startcat = Phr ;
-
-} ;
diff --git a/old-lib/resource/mathematical/MathematicalSwe.gf b/old-lib/resource/mathematical/MathematicalSwe.gf
deleted file mode 100644
index 59d5fefde..000000000
--- a/old-lib/resource/mathematical/MathematicalSwe.gf
+++ /dev/null
@@ -1,27 +0,0 @@
---# -path=.:present:prelude
-
-concrete MathematicalSwe of Mathematical = 
-  NounSwe - [ComplN2], --- to avoid ambiguity 
---  VerbSwe, 
-  AdjectiveSwe,
-  AdverbSwe,
-  NumeralSwe,
---  SentenceSwe,
-  QuestionSwe,
-  RelativeSwe,
-  ConjunctionSwe,
-  PhraseSwe,
-  TextX,
-  IdiomSwe,
-
-  StructuralSwe,
-
-  SymbolSwe,
-  PredicationSwe,
-
-  LexiconSwe
-  ** {
-
-flags startcat = Phr ;
-
-} ;
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"
-
-}
diff --git a/old-lib/resource/mathematical/PredicationCat.gf b/old-lib/resource/mathematical/PredicationCat.gf
deleted file mode 100644
index 95fd70cc0..000000000
--- a/old-lib/resource/mathematical/PredicationCat.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationCat of Predication = CatCat ** PredicationI with
-  (Syntax = SyntaxCat),
-  (Lang = LangCat) ;
-
diff --git a/old-lib/resource/mathematical/PredicationDan.gf b/old-lib/resource/mathematical/PredicationDan.gf
deleted file mode 100644
index 6f1ba235e..000000000
--- a/old-lib/resource/mathematical/PredicationDan.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationDan of Predication = CatDan ** PredicationI with
-  (Syntax = SyntaxDan),
-  (Lang = LangDan) ;
-
diff --git a/old-lib/resource/mathematical/PredicationEng.gf b/old-lib/resource/mathematical/PredicationEng.gf
deleted file mode 100644
index c7dc12c51..000000000
--- a/old-lib/resource/mathematical/PredicationEng.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationEng of Predication = CatEng ** PredicationI with
-  (Syntax = SyntaxEng),
-  (Lang = LangEng) ;
-
diff --git a/old-lib/resource/mathematical/PredicationFin.gf b/old-lib/resource/mathematical/PredicationFin.gf
deleted file mode 100644
index 86982aaae..000000000
--- a/old-lib/resource/mathematical/PredicationFin.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationFin of Predication = CatFin ** PredicationI with
-  (Syntax = SyntaxFin),
-  (Lang = LangFin) ;
-
diff --git a/old-lib/resource/mathematical/PredicationFre.gf b/old-lib/resource/mathematical/PredicationFre.gf
deleted file mode 100644
index da968d2b8..000000000
--- a/old-lib/resource/mathematical/PredicationFre.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationFre of Predication = CatFre ** PredicationI with
-  (Syntax = SyntaxFre),
-  (Lang = LangFre) ;
-
diff --git a/old-lib/resource/mathematical/PredicationGer.gf b/old-lib/resource/mathematical/PredicationGer.gf
deleted file mode 100644
index 5f870309d..000000000
--- a/old-lib/resource/mathematical/PredicationGer.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationGer of Predication = CatGer ** PredicationI with
-  (Syntax = SyntaxGer),
-  (Lang = LangGer) ;
-
diff --git a/old-lib/resource/mathematical/PredicationI.gf b/old-lib/resource/mathematical/PredicationI.gf
deleted file mode 100644
index 67cbcd67e..000000000
--- a/old-lib/resource/mathematical/PredicationI.gf
+++ /dev/null
@@ -1,51 +0,0 @@
-incomplete concrete PredicationI of Predication = 
-  Cat ** open ParamX, Lang, Syntax in {
-
-flags optimize = all_subs ;
-
-lin
-  PosCl cl = mkS cl ;
-  NegCl cl = mkS PNeg cl ;
-
---2 Predication patterns.
-
-  predV v x = PredVP x (UseV v) ; -- mkCl x v ;
-  predV2 v x y = mkCl x v y ;
-  predV3 v x y z = mkCl x v y z ;
-  predVColl v x y = mkCl (mkNP and_Conj x y) v ;
-  predA a x = mkCl x a ;
-  predA2 a x y = mkCl x a y ; 
-  predAComp a x y = mkCl x a y ;
-  predAColl a x y = mkCl (mkNP and_Conj x y) a ;
-  predN n x = mkCl x (mkNP IndefArt (mkCN n)) ; --- Sg/Pl ?
-  predN2 n x y = mkCl x (mkNP IndefArt (ComplN2 n y)) ; --- Sg/Pl ?
-  predNColl n x y = mkCl (mkNP and_Conj x y) (mkNP IndefArt (mkCN n)) ;
-  predAdv a x = mkCl x a ;
-  predPrep p x y = mkCl x (mkAdv p y) ; 
-
---2 Imperatives and infinitives.
-
-  impV2 v x = mkPhr (mkImp v x) ;
-  infV2 v x = mkPhr (mkUtt (mkVP v x)) ; 
-
---2 Individual-valued function applications
-
-  appN2 n x = mkNP DefArt (mkCN n x) ;
-  appN3 n x y = mkNP DefArt (mkCN n x y) ;
-  appColl n x y = mkNP DefArt (mkCN n (mkNP and_Conj x y)) ;
-
---2 Families of types
-
--- These are expressed by relational nouns applied to arguments.
-
-  famN2 n x = ComplN2 n x ;
-  famN3 n x y = ComplN2 (ComplN3 n x) y ; 
-  famColl n x y = ComplN2 n (ConjNP and_Conj (BaseNP x y)) ;
-
---2 Type constructor
-
--- This is similar to a family except that the argument is a type.
-
-  typN2 f n = ComplN2 f (DetArtPl DefArt n) ;
-
-}
diff --git a/old-lib/resource/mathematical/PredicationIta.gf b/old-lib/resource/mathematical/PredicationIta.gf
deleted file mode 100644
index 1b4123c2d..000000000
--- a/old-lib/resource/mathematical/PredicationIta.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationIta of Predication = CatIta ** PredicationI with
-  (Syntax = SyntaxIta),
-  (Lang = LangIta) ;
-
diff --git a/old-lib/resource/mathematical/PredicationNor.gf b/old-lib/resource/mathematical/PredicationNor.gf
deleted file mode 100644
index 6204c707a..000000000
--- a/old-lib/resource/mathematical/PredicationNor.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationNor of Predication = CatNor ** PredicationI with
-  (Syntax = SyntaxNor),
-  (Lang = LangNor) ;
-
diff --git a/old-lib/resource/mathematical/PredicationSpa.gf b/old-lib/resource/mathematical/PredicationSpa.gf
deleted file mode 100644
index 037e30901..000000000
--- a/old-lib/resource/mathematical/PredicationSpa.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationSpa of Predication = CatSpa ** PredicationI with
-  (Syntax = SyntaxSpa),
-  (Lang = LangSpa) ;
-
diff --git a/old-lib/resource/mathematical/PredicationSwe.gf b/old-lib/resource/mathematical/PredicationSwe.gf
deleted file mode 100644
index 732b11cc8..000000000
--- a/old-lib/resource/mathematical/PredicationSwe.gf
+++ /dev/null
@@ -1,4 +0,0 @@
-concrete PredicationSwe of Predication = CatSwe ** PredicationI with
-  (Syntax = SyntaxSwe),
-  (Lang = LangSwe) ;
-
diff --git a/old-lib/resource/mathematical/Symbol.gf b/old-lib/resource/mathematical/Symbol.gf
deleted file mode 100644
index a8ac9ca1b..000000000
--- a/old-lib/resource/mathematical/Symbol.gf
+++ /dev/null
@@ -1,46 +0,0 @@
---1 Symbolic expressions
-
--- *Note*. This module is not automatically included in the main
--- grammar [Lang Lang.html].
-
-abstract Symbol = Cat, PredefAbs ** {
-
---2 Noun phrases with symbols and numbers
-
-fun
-
-  SymbPN   : Symb -> PN ;                -- x
-  IntPN    : Int -> PN ;                 -- 27
-  FloatPN  : Float -> PN ;               -- 3.14159
-  NumPN    : Card -> PN ;
-  CNNumNP  : CN -> Card -> NP ;          -- level five ; level 5
-  CNSymbNP : Det -> CN -> [Symb] -> NP ; -- (the) (2) numbers x and y
-
-
---2 Sentence consisting of a formula
-
-  SymbS    : Symb -> S ;                 -- A
-
---2 Symbols as numerals
-
-  SymbNum  : Symb -> Card ;              -- n
-  SymbOrd  : Symb -> Ord ;               -- n'th
-
---2 Symbol lists
-
--- A symbol list has at least two elements. The last two are separated
--- by a conjunction ("and" in English), the others by commas.
--- This produces "x, y and z", in English. 
-
-cat
-  Symb ;
-  [Symb]{2} ;
-
-fun
-  MkSymb : String -> Symb ;
-
---2 Obsolescent
-
-  CNIntNP  : CN -> Int -> NP ;           -- level 53 (covered by CNNumNP)
-
-}
diff --git a/old-lib/resource/mathematical/SymbolCat.gf b/old-lib/resource/mathematical/SymbolCat.gf
deleted file mode 100644
index 09faff744..000000000
--- a/old-lib/resource/mathematical/SymbolCat.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete SymbolCat of Symbol = CatCat ** SymbolRomance with
-  (ResRomance = ResCat) ;
diff --git a/old-lib/resource/mathematical/SymbolDan.gf b/old-lib/resource/mathematical/SymbolDan.gf
deleted file mode 100644
index ef1e73c82..000000000
--- a/old-lib/resource/mathematical/SymbolDan.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete SymbolDan of Symbol = CatDan ** SymbolScand with
-  (ResScand = ResDan) ;
diff --git a/old-lib/resource/mathematical/SymbolEng.gf b/old-lib/resource/mathematical/SymbolEng.gf
deleted file mode 100644
index 488c3fbdd..000000000
--- a/old-lib/resource/mathematical/SymbolEng.gf
+++ /dev/null
@@ -1,37 +0,0 @@
-concrete SymbolEng of Symbol = CatEng ** open Prelude, ResEng in {
-
-lin
-  SymbPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  IntPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
-  FloatPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  NumPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  CNIntNP cn i = {
-    s = \\c => (cn.s ! Sg ! Nom ++ i.s) ;
-    a = agrgP3 Sg cn.g
-    } ;
-  CNSymbNP det cn xs = {
-    s = \\c => det.s ++ cn.s ! det.n ! c ++ xs.s ; 
-    a = agrgP3 det.n cn.g
-    } ;
-  CNNumNP cn i = {
-    s = \\c => (cn.s ! Sg ! Nom ++ i.s) ;
-    a = agrgP3 Sg cn.g
-    } ;
-
-  SymbS sy = sy ; 
-
-  SymbNum sy = {s = sy.s ; n = Pl ; hasCard = True} ;
-  SymbOrd sy = {s = sy.s ++ "th"} ;
-
-lincat 
-
-  Symb, [Symb] = SS ;
-
-lin
-
-  MkSymb s = s ;
-
-  BaseSymb = infixSS "and" ;
-  ConsSymb = infixSS "," ;
-
-}
diff --git a/old-lib/resource/mathematical/SymbolFin.gf b/old-lib/resource/mathematical/SymbolFin.gf
deleted file mode 100644
index 922b19dcb..000000000
--- a/old-lib/resource/mathematical/SymbolFin.gf
+++ /dev/null
@@ -1,42 +0,0 @@
-concrete SymbolFin of Symbol = CatFin ** open Prelude, NounFin, ResFin in {
-
-lin
-  SymbPN i = {s = \\c => i.s} ; --- c
-  IntPN i  = {s = \\c => i.s} ; --- c
-  FloatPN i  = {s = \\c => i.s} ; --- c
-  NumPN i  = {s = \\c => i.s!Sg!Nom } ; --- c
-
-  CNIntNP cn i = {
-    s = \\c => cn.s ! NCase Sg (npform2case Sg c) ++ i.s ;
-    a = agrP3 Sg ;
-    isPron = False
-    } ;
-  CNSymbNP det cn xs = let detcn = NounFin.DetCN det cn in {
-    s = \\c => detcn.s ! c ++ xs.s ;
-    a = detcn.a ;
-    isPron = False
-    } ;
-  CNNumNP cn i = {
-    s = \\c => cn.s ! NCase Sg (npform2case Sg c) ++ i.s ! Sg ! Nom ;
-    a = agrP3 Sg ;
-    isPron = False
-    } ;
-
-  SymbS sy = sy ;
-
-  SymbNum n = {s = \\_,_ => n.s ; isNum = True ; n = Pl} ;
-  SymbOrd n = {s = \\_,_ => n.s ++ "."} ;
-
-lincat 
-
-  Symb, [Symb] = SS ;
-
-lin
-
-  MkSymb s = s ;
-
-  BaseSymb = infixSS "ja" ;
-  ConsSymb = infixSS "," ;
-
-}
-
diff --git a/old-lib/resource/mathematical/SymbolFre.gf b/old-lib/resource/mathematical/SymbolFre.gf
deleted file mode 100644
index ab972c039..000000000
--- a/old-lib/resource/mathematical/SymbolFre.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete SymbolFre of Symbol = CatFre ** SymbolRomance with
-  (ResRomance = ResFre) ;
diff --git a/old-lib/resource/mathematical/SymbolGer.gf b/old-lib/resource/mathematical/SymbolGer.gf
deleted file mode 100644
index 38516d74a..000000000
--- a/old-lib/resource/mathematical/SymbolGer.gf
+++ /dev/null
@@ -1,43 +0,0 @@
-concrete SymbolGer of Symbol = CatGer ** open Prelude, ResGer in {
-
-lin
-  SymbPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  IntPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
-  FloatPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
-  NumPN i  = {s = i.s ! Neutr ; g = Neutr} ; --- c
-
-  CNIntNP cn i = {
-    s = \\c => cn.s ! Weak ! Sg ! Nom ++ i.s ;
-    a = agrP3 Sg ;
-    isPron = False
-    } ;
-  CNSymbNP det cn xs = let g = cn.g in {
-    s = \\c => det.s ! g ! c ++ cn.s !  adjfCase det.a c ! det.n ! c ++ xs.s ; 
-    a = agrP3 det.n ;
-    isPron = False
-    } ;
-  CNNumNP cn i = {
-    s = \\c => artDef ! (GSg cn.g) ! c ++ cn.s ! Weak ! Sg ! Nom ++ i.s ! Neutr ! c ;
-    a = agrP3 Sg ;
-    isPron = False
-    } ;
-
-  SymbS sy = {s = \\_ => sy.s} ;
-
-  SymbNum n = {s = \\_,_ => n.s ; n = Pl ; isNum = True} ;
-  SymbOrd n = {s = \\_   => n.s ++ "."} ;
-
-
-lincat 
-
-  Symb, [Symb] = SS ;
-
-lin
-
-  MkSymb s = s ;
-
-  BaseSymb = infixSS "und" ;
-  ConsSymb = infixSS "," ;
-
-}
-
diff --git a/old-lib/resource/mathematical/SymbolIta.gf b/old-lib/resource/mathematical/SymbolIta.gf
deleted file mode 100644
index d4e9cbf52..000000000
--- a/old-lib/resource/mathematical/SymbolIta.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete SymbolIta of Symbol = CatIta ** SymbolRomance with
-  (ResRomance = ResIta) ;
diff --git a/old-lib/resource/mathematical/SymbolNor.gf b/old-lib/resource/mathematical/SymbolNor.gf
deleted file mode 100644
index 2e446b09b..000000000
--- a/old-lib/resource/mathematical/SymbolNor.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete SymbolNor of Symbol = CatNor ** SymbolScand with
-  (ResScand = ResNor) ;
diff --git a/old-lib/resource/mathematical/SymbolRomance.gf b/old-lib/resource/mathematical/SymbolRomance.gf
deleted file mode 100644
index 64b4e1a34..000000000
--- a/old-lib/resource/mathematical/SymbolRomance.gf
+++ /dev/null
@@ -1,41 +0,0 @@
-incomplete concrete SymbolRomance of Symbol = 
-  CatRomance ** open Prelude, CommonRomance, ResRomance in {
-
-lin
-  SymbPN i = {s = i.s ; g = Masc} ;
-  IntPN i  = {s = i.s ; g = Masc} ;
-  FloatPN i  = {s = i.s ; g = Masc} ;
-  NumPN i  = {s = i.s!Masc ; g = Masc} ;
-
-  CNIntNP cn i = {
-    s = \\c => cn.s ! Sg ++ i.s ;
-    a = agrP3 cn.g Sg ;
-    hasClit = False
-    } ;
-  CNSymbNP det cn xs = let g = cn.g in {
-    s = \\c => det.s ! g ! npform2case c ++ cn.s ! det.n ++ xs.s ; 
-    a = agrP3 g det.n ;
-    hasClit = False
-    } ;
-  CNNumNP cn i = {
-    s = \\c => artDef cn.g Sg (npform2case c) ++ cn.s ! Sg ++ i.s ! Masc ;
-    a = agrP3 cn.g Sg ;
-    hasClit = False
-    } ;
-  SymbS sy = {s = \\_ => sy.s} ;
-
-  SymbNum n = {s = \\_ => n.s ; isNum = True ; n = Pl} ;
-  SymbOrd n = {s = \\_ => n.s ++ "."} ; ---
-
-lincat 
-
-  Symb, [Symb] = SS ;
-
-lin
-
-  MkSymb s = s ;
-
-  BaseSymb = infixSS "et" ; ----
-  ConsSymb = infixSS "," ;
-
-}
diff --git a/old-lib/resource/mathematical/SymbolScand.gf b/old-lib/resource/mathematical/SymbolScand.gf
deleted file mode 100644
index 8bde4e1a4..000000000
--- a/old-lib/resource/mathematical/SymbolScand.gf
+++ /dev/null
@@ -1,38 +0,0 @@
-incomplete concrete SymbolScand of Symbol = 
-  CatScand ** open Prelude, ResScand, CommonScand in {
-
-lin
-  SymbPN i = {s = \\c => i.s ; g = Neutr} ; --- c
-  IntPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
-  FloatPN i  = {s = \\c => i.s ; g = Neutr} ; --- c
-  NumPN i  = {s = \\c => i.s!neutrum ; g = Neutr} ; --- c
-  CNIntNP cn i = {
-    s = \\c => (cn.s ! Sg ! DIndef ! Nom ++ i.s) ;
-    a = agrP3 cn.g Sg
-    } ;
-  CNSymbNP det cn xs = let g = cn.g in {
-    s = \\c => det.s ! cn.isMod ! g ++ cn.s ! det.n ! det.det ! caseNP c ++ xs.s ; 
-    a = agrP3 g det.n
-    } ;
-  CNNumNP cn i = {
-    s = \\c => (cn.s ! Sg ! DIndef ! Nom ++ i.s ! neutrum) ;
-    a = agrP3 cn.g Sg
-    } ;
-
-  SymbS sy = {s = \\_ => sy.s} ;
-
-  SymbNum n = {s = \\_ => n.s ; isDet = True ; n = Pl} ;
-  SymbOrd n = {s = n.s ++ ":te" ; isDet = True} ; ---
-
-lincat 
-
-  Symb, [Symb] = SS ;
-
-lin
-
-  MkSymb s = s ;
-
-  BaseSymb = infixSS conjAnd ;
-  ConsSymb = infixSS "," ;
-
-}
diff --git a/old-lib/resource/mathematical/SymbolSpa.gf b/old-lib/resource/mathematical/SymbolSpa.gf
deleted file mode 100644
index e56343432..000000000
--- a/old-lib/resource/mathematical/SymbolSpa.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete SymbolSpa of Symbol = CatSpa ** SymbolRomance with
-  (ResRomance = ResSpa) ;
diff --git a/old-lib/resource/mathematical/SymbolSwe.gf b/old-lib/resource/mathematical/SymbolSwe.gf
deleted file mode 100644
index b80619c06..000000000
--- a/old-lib/resource/mathematical/SymbolSwe.gf
+++ /dev/null
@@ -1,2 +0,0 @@
-concrete SymbolSwe of Symbol = CatSwe ** SymbolScand with
-  (ResScand = ResSwe) ;
diff --git a/old-lib/resource/mathematical/Symbolic.gf b/old-lib/resource/mathematical/Symbolic.gf
deleted file mode 100644
index 9d945c7c3..000000000
--- a/old-lib/resource/mathematical/Symbolic.gf
+++ /dev/null
@@ -1,64 +0,0 @@
---1 Symbolic: Noun Phrases with mathematical symbols
-
-incomplete resource Symbolic = open 
-    Symbol, Grammar, PredefCnc in {
-
-  oper
-    symb : overload {
-      symb : Str -> NP ;                       -- x
-      symb : Int -> NP ;                       -- 23
-      symb : Float -> NP ;                     -- 0.99
-      symb : N  -> Digits -> NP ;              -- level 4
-      symb : N  -> Card -> NP ;                -- level four
-      symb : CN -> Card -> NP ;                -- advanced level four
-      symb : Det -> N  -> Card -> NP ;         -- the number four
-      symb : Det -> CN -> Card -> NP ;         -- the even number four
-      symb : Det -> N  -> Str -> Str -> NP ;   -- the levels i and j
-      symb : Det -> CN -> [Symb] -> NP ;       -- the basic levels i, j, and k
-      symb : Symb -> S ;                       -- A
-      symb : Symb -> Card ;                    -- n
-      symb : Symb -> Ord                       -- n'th
-      } ;
-
-    mkSymb  : Str -> Symb ;
-    mkInt   : Str -> PredefCnc.Int ;
-    mkFloat : Str -> PredefCnc.Float ;
-
---.
-
-    symb = overload {
-      symb : Str -> NP 
-                          = \s -> UsePN (SymbPN (mkSymb s)) ;
-      symb : Int -> NP 
-                          = \i -> UsePN (IntPN i) ;
-      symb : Float -> NP 
-                          = \i -> UsePN (FloatPN i) ;
-      symb : N -> Digits -> NP 
-                          = \c,i -> CNNumNP (UseN c) (NumDigits i) ;
-      symb : N -> Card -> NP 
-                          = \c,n -> CNNumNP (UseN c) n ;
-      symb : CN -> Card -> NP 
-                          = \c,n -> CNNumNP c n ;
-      symb : Det -> N  -> Card -> NP
-                          = \d,n,x -> DetCN d (ApposCN (UseN n) (UsePN (NumPN x))) ;
-      symb : Det -> CN -> Card -> NP
-                          = \d,n,x -> DetCN d (ApposCN n (UsePN (NumPN x))) ;
-      symb : Det -> N  -> Str -> Str -> NP 
-                          = \c,n,x,y -> CNSymbNP c (UseN n) (BaseSymb (mkSymb x) (mkSymb y)) ;
-      symb : Det -> CN -> [Symb] -> NP 
-                          = CNSymbNP ;
-      symb : Symb -> S = SymbS ;
-      symb : Symb -> Card = SymbNum ;
-      symb : Symb -> Ord = SymbOrd
-
-      } ;
-
-    mkSymb : Str -> Symb = \s -> {s = s ; lock_Symb = <>} ;
-
-    mkInt i = {s = i ; lock_Int = <>} ;
-    mkFloat f = {s = f ; lock_Float = <>} ;
-
---    Integer : Type = {s : Str ; lock_Int : {}} ;
---    Floating : Type = {s : Str ; lock_Float : {}} ;
-
-}
diff --git a/old-lib/resource/mathematical/SymbolicCat.gf b/old-lib/resource/mathematical/SymbolicCat.gf
deleted file mode 100644
index de79ec2ba..000000000
--- a/old-lib/resource/mathematical/SymbolicCat.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicCat = Symbolic with 
-  (Symbol = SymbolCat),
-  (Grammar = GrammarCat) ;
diff --git a/old-lib/resource/mathematical/SymbolicDan.gf b/old-lib/resource/mathematical/SymbolicDan.gf
deleted file mode 100644
index cbbe7e0ad..000000000
--- a/old-lib/resource/mathematical/SymbolicDan.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicDan = Symbolic with 
-  (Symbol = SymbolDan),
-  (Grammar = GrammarDan) ;
diff --git a/old-lib/resource/mathematical/SymbolicEng.gf b/old-lib/resource/mathematical/SymbolicEng.gf
deleted file mode 100644
index c9b559a22..000000000
--- a/old-lib/resource/mathematical/SymbolicEng.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicEng = Symbolic with 
-  (Symbol = SymbolEng),
-  (Grammar = GrammarEng) ;
diff --git a/old-lib/resource/mathematical/SymbolicFin.gf b/old-lib/resource/mathematical/SymbolicFin.gf
deleted file mode 100644
index f8b88526b..000000000
--- a/old-lib/resource/mathematical/SymbolicFin.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicFin = Symbolic with 
-  (Symbol = SymbolFin),
-  (Grammar = GrammarFin) ;
diff --git a/old-lib/resource/mathematical/SymbolicFre.gf b/old-lib/resource/mathematical/SymbolicFre.gf
deleted file mode 100644
index ee0b2acc9..000000000
--- a/old-lib/resource/mathematical/SymbolicFre.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicFre = Symbolic with 
-  (Symbol = SymbolFre),
-  (Grammar = GrammarFre) ;
diff --git a/old-lib/resource/mathematical/SymbolicGer.gf b/old-lib/resource/mathematical/SymbolicGer.gf
deleted file mode 100644
index 8b8d7111d..000000000
--- a/old-lib/resource/mathematical/SymbolicGer.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicGer = Symbolic with 
-  (Symbol = SymbolGer),
-  (Grammar = GrammarGer) ;
diff --git a/old-lib/resource/mathematical/SymbolicIta.gf b/old-lib/resource/mathematical/SymbolicIta.gf
deleted file mode 100644
index d4b578c8d..000000000
--- a/old-lib/resource/mathematical/SymbolicIta.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicIta = Symbolic with 
-  (Symbol = SymbolIta),
-  (Grammar = GrammarIta) ;
diff --git a/old-lib/resource/mathematical/SymbolicNor.gf b/old-lib/resource/mathematical/SymbolicNor.gf
deleted file mode 100644
index b4eff28e0..000000000
--- a/old-lib/resource/mathematical/SymbolicNor.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicNor = Symbolic with 
-  (Symbol = SymbolNor),
-  (Grammar = GrammarNor) ;
diff --git a/old-lib/resource/mathematical/SymbolicSpa.gf b/old-lib/resource/mathematical/SymbolicSpa.gf
deleted file mode 100644
index ae44431f5..000000000
--- a/old-lib/resource/mathematical/SymbolicSpa.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicSpa = Symbolic with 
-  (Symbol = SymbolSpa),
-  (Grammar = GrammarSpa) ;
diff --git a/old-lib/resource/mathematical/SymbolicSwe.gf b/old-lib/resource/mathematical/SymbolicSwe.gf
deleted file mode 100644
index 193d8e84d..000000000
--- a/old-lib/resource/mathematical/SymbolicSwe.gf
+++ /dev/null
@@ -1,5 +0,0 @@
---# -path=.:present:mathematical:prelude
-
-resource SymbolicSwe = Symbolic with 
-  (Symbol = SymbolSwe),
-  (Grammar = GrammarSwe) ;