From 0f06215a691cc9439ef696c1e16a13d261b52262 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 17 Mar 2006 11:10:07 +0000
Subject: [PATCH] Symbol.SymbS

---
 lib/resource-1.0/mathematical/Symbol.gf        | 4 ++++
 lib/resource-1.0/mathematical/SymbolEng.gf     | 2 ++
 lib/resource-1.0/mathematical/SymbolFin.gf     | 2 ++
 lib/resource-1.0/mathematical/SymbolGer.gf     | 1 +
 lib/resource-1.0/mathematical/SymbolRomance.gf | 1 +
 lib/resource-1.0/mathematical/SymbolScand.gf   | 2 ++
 6 files changed, 12 insertions(+)

diff --git a/lib/resource-1.0/mathematical/Symbol.gf b/lib/resource-1.0/mathematical/Symbol.gf
index cbc3cd1db..5e0bc97d3 100644
--- a/lib/resource-1.0/mathematical/Symbol.gf
+++ b/lib/resource-1.0/mathematical/Symbol.gf
@@ -15,6 +15,10 @@ fun
   CNIntNP  : CN -> Int -> NP ;           -- level 53
   CNSymbNP : Det -> CN -> [Symb] -> NP ; -- (the) (2) numbers x and y
 
+--2 Sentence consisting of a formula
+
+  SymbS    : Symb -> S ;                 -- A
+
 --2 Symbol lists
 
 -- A symbol list has at least two elements. The last two are separated
diff --git a/lib/resource-1.0/mathematical/SymbolEng.gf b/lib/resource-1.0/mathematical/SymbolEng.gf
index 0b7911fc8..aa0e09f4e 100644
--- a/lib/resource-1.0/mathematical/SymbolEng.gf
+++ b/lib/resource-1.0/mathematical/SymbolEng.gf
@@ -13,6 +13,8 @@ lin
     a = agrP3 det.n
     } ;
 
+  SymbS sy = sy ; 
+
 lincat 
 
   Symb, [Symb] = SS ;
diff --git a/lib/resource-1.0/mathematical/SymbolFin.gf b/lib/resource-1.0/mathematical/SymbolFin.gf
index 30324b653..148ed94f4 100644
--- a/lib/resource-1.0/mathematical/SymbolFin.gf
+++ b/lib/resource-1.0/mathematical/SymbolFin.gf
@@ -16,6 +16,8 @@ lin
     isPron = False
     } ;
 
+  SymbS sy = sy ;
+
 lincat 
 
   Symb, [Symb] = SS ;
diff --git a/lib/resource-1.0/mathematical/SymbolGer.gf b/lib/resource-1.0/mathematical/SymbolGer.gf
index e35ed1a4c..bee704c63 100644
--- a/lib/resource-1.0/mathematical/SymbolGer.gf
+++ b/lib/resource-1.0/mathematical/SymbolGer.gf
@@ -15,6 +15,7 @@ lin
     a = agrP3 det.n ;
     isPron = False
     } ;
+  SymbS sy = {s = \\_ => sy.s} ;
 
 lincat 
 
diff --git a/lib/resource-1.0/mathematical/SymbolRomance.gf b/lib/resource-1.0/mathematical/SymbolRomance.gf
index 9b0586c74..c2b07101b 100644
--- a/lib/resource-1.0/mathematical/SymbolRomance.gf
+++ b/lib/resource-1.0/mathematical/SymbolRomance.gf
@@ -16,6 +16,7 @@ lin
     a = agrP3 g det.n ;
     hasClit = False
     } ;
+  SymbS sy = {s = \\_ => sy.s} ;
 
 lincat 
 
diff --git a/lib/resource-1.0/mathematical/SymbolScand.gf b/lib/resource-1.0/mathematical/SymbolScand.gf
index e92aee439..958517d7f 100644
--- a/lib/resource-1.0/mathematical/SymbolScand.gf
+++ b/lib/resource-1.0/mathematical/SymbolScand.gf
@@ -14,6 +14,8 @@ lin
     a = agrP3 g det.n
     } ;
 
+  SymbS sy = {s = \\_ => sy.s} ;
+
 lincat 
 
   Symb, [Symb] = SS ;