solve the ambiguity for double negation in SUMO

1 files 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 = <>

            };