From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 9 Dec 2009 09:47:16 +0000
Subject: moving a few things to deprecated

---
 old-lib/resource/mathematical/Symbolic.gf | 64 -------------------------------
 1 file changed, 64 deletions(-)
 delete mode 100644 old-lib/resource/mathematical/Symbolic.gf

(limited to 'old-lib/resource/mathematical/Symbolic.gf')

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 : {}} ;
-
-}
-- 
cgit v1.2.3