From e89fdae2fa1626348d8025824a7469252fa85e42 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 22 Jun 2009 15:39:08 +0000
Subject: next-lib renamed to lib, lib to old-lib

---
 old-lib/resource/mathematical/Mathematical.gf | 31 +++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 old-lib/resource/mathematical/Mathematical.gf

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

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