summaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
Diffstat (limited to 'examples')
-rw-r--r--examples/SUMO/BasicEng.gf8
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 = <>
};