msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests 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 2e2d190fd4
commit 8cdb33031d
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 = <>}; 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 = <>}; 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 { not f1 = {s = \\f => table {
Neg => f1.s ! f ! Pos ; Neg => "it is not true that" ++ f1.s ! f ! Neg ;
Pos => f1.s ! Indep ! Neg Pos => f1.s ! Indep ! Neg
}; };
flag = f1.flag; flag = f1.flag;
lock_PolSentence = <> lock_PolSentence = <>
}; };