From 98665df78b8018af30051cb4a9a31f845e0ba19d Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 22 Sep 2008 11:49:15 +0000 Subject: moved lib/next-resource to next-lib/src, to enable linking with next-lib as value of GF_LIB_PATH --- next-lib/src/abstract/Symbol.gf | 46 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) create 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 new file mode 100644 index 000000000..a8ac9ca1b --- /dev/null +++ b/next-lib/src/abstract/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