From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 9 Dec 2009 09:47:16 +0000 Subject: moving a few things to deprecated --- deprecated/old-lib/resource/mathematical/Symbol.gf | 46 ++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 deprecated/old-lib/resource/mathematical/Symbol.gf (limited to 'deprecated/old-lib/resource/mathematical/Symbol.gf') diff --git a/deprecated/old-lib/resource/mathematical/Symbol.gf b/deprecated/old-lib/resource/mathematical/Symbol.gf new file mode 100644 index 000000000..a8ac9ca1b --- /dev/null +++ b/deprecated/old-lib/resource/mathematical/Symbol.gf @@ -0,0 +1,46 @@ +--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