diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-10-20 09:51:26 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-10-20 09:51:26 +0000 |
| commit | 192f55e2f579d5f736f442287cc237da353a6991 (patch) | |
| tree | 42368c7ca4f716e997e140685b4e63273b0bc399 /examples/tutorial/semantics/SemBase.hs | |
| parent | e86db4d8c8287790a90955fefec10b7a64988ff8 (diff) | |
semantics extended to questions
Diffstat (limited to 'examples/tutorial/semantics/SemBase.hs')
| -rw-r--r-- | examples/tutorial/semantics/SemBase.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/tutorial/semantics/SemBase.hs b/examples/tutorial/semantics/SemBase.hs index 699c4942c..24073894b 100644 --- a/examples/tutorial/semantics/SemBase.hs +++ b/examples/tutorial/semantics/SemBase.hs @@ -12,7 +12,7 @@ iS s = case s of iNP :: GNP -> (Exp -> Prop) -> Prop iNP np p = case np of - GEvery cn -> All (If (iCN cn var) (p var)) ---- + GEvery cn -> All (If (iCN cn var) (liftProp 0 (p var))) ---- GSome cn -> Exist (And (iCN cn var) (p var)) ---- GConjNP c np1 np2 -> iConj c (iNP np1 p) (iNP np2 p) GUseInt (GInt i) -> p (int i) |