diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/SUMO/BasicEng.gf | 8 |
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 = <>
};
|
