next-lib renamed to lib, lib to old-lib

1 files changed, 31 insertions, 0 deletions

diff --git a/old-lib/resource/mathematical/Mathematical.gf b/old-lib/resource/mathematical/Mathematical.gf
new file mode 100644
index 000000000..65afef3b1
--- /dev/null
+++ b/old-lib/resource/mathematical/Mathematical.gf
@@ -0,0 +1,31 @@
+--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
+  ** {} ;