From e89fdae2fa1626348d8025824a7469252fa85e42 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 22 Jun 2009 15:39:08 +0000 Subject: next-lib renamed to lib, lib to old-lib --- next-lib/src/abstract/Symbol.gf | 46 ----------------------------------------- 1 file changed, 46 deletions(-) delete mode 100644 next-lib/src/abstract/Symbol.gf (limited to 'next-lib/src/abstract/Symbol.gf') diff --git a/next-lib/src/abstract/Symbol.gf b/next-lib/src/abstract/Symbol.gf deleted file mode 100644 index a8ac9ca1b..000000000 --- a/next-lib/src/abstract/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) - -} -- cgit v1.2.3