GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

solve the ambiguity for double negation in SUMO

Browse Source
This commit is contained in:
krasimir
2010-07-13 11:43:24 +00:00
parent 032cd65f8f
commit 2bc50e6536
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
examples/SUMO/BasicEng.gf
View File

@@ -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 = <>
};