From 8cdb33031dce8d12d2078e23081fc78b24822c88 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 13 Jul 2010 11:43:24 +0000
Subject: [PATCH] solve the ambiguity for double negation in SUMO

---
 examples/SUMO/BasicEng.gf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/examples/SUMO/BasicEng.gf b/examples/SUMO/BasicEng.gf
index e5ad133ee..f1652344b 100644
--- a/examples/SUMO/BasicEng.gf
+++ b/examples/SUMO/BasicEng.gf
@@ -29,10 +29,10 @@ lin
 
   and f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "and" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>};
   or f1 f2 = {s = \\f,c => f1.s ! Indep ! c ++ "or" ++ f2.s ! Indep ! c; flag = NothingS; lock_PolSentence = <>};
-  not f1 = {s = \\f,c => case c of {
-                           Neg  => f1.s ! f ! Pos ; 
-                           Pos  => f1.s ! Indep ! Neg
-                         }; 
+  not f1 = {s = \\f => table {
+                         Neg  => "it is not true that" ++ f1.s ! f ! Neg ; 
+                         Pos  => f1.s ! Indep ! Neg
+                       }; 
             flag = f1.flag;  
             lock_PolSentence = <>
            };