From 192f55e2f579d5f736f442287cc237da353a6991 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 20 Oct 2007 09:51:26 +0000 Subject: semantics extended to questions --- examples/tutorial/semantics/SemBase.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/tutorial/semantics/SemBase.hs') 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) -- cgit v1.2.3