diff options
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) |