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

semantics extended to questions

Browse Source
This commit is contained in:
aarne
2007-10-20 09:51:26 +00:00
parent 2fb6c59444
commit 55f387d067
6 changed files with 187 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/tutorial/semantics/SemBase.hs
View File

@@ -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)