summaryrefslogtreecommitdiff
path: root/examples/tutorial/semantics/BaseEng.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-10-20 09:51:26 +0000
committeraarne <aarne@cs.chalmers.se>2007-10-20 09:51:26 +0000
commit192f55e2f579d5f736f442287cc237da353a6991 (patch)
tree42368c7ca4f716e997e140685b4e63273b0bc399 /examples/tutorial/semantics/BaseEng.gf
parente86db4d8c8287790a90955fefec10b7a64988ff8 (diff)
semantics extended to questions
Diffstat (limited to 'examples/tutorial/semantics/BaseEng.gf')
-rw-r--r--examples/tutorial/semantics/BaseEng.gf19
1 files changed, 19 insertions, 0 deletions
diff --git a/examples/tutorial/semantics/BaseEng.gf b/examples/tutorial/semantics/BaseEng.gf
index 71b2b91dc..582c2e279 100644
--- a/examples/tutorial/semantics/BaseEng.gf
+++ b/examples/tutorial/semantics/BaseEng.gf
@@ -17,8 +17,10 @@ lin
ConjAP c = infixSS c.s ;
ConjNP c = infixSS c.s ;
+ UsePN a = a ;
Every = prefixSS "every" ;
Some = prefixSS "some" ;
+ None = prefixSS "no" ;
And = ss "and" ;
Or = ss "or" ;
@@ -35,4 +37,21 @@ lin
Smaller = ss ("smaller" ++ "than") ;
Divisible = ss ("divisible" ++ "by") ;
+ Sum = prefixSS ["the sum of"] ;
+ Product = prefixSS ["the product of"] ;
+ GCD = prefixSS ["the greatest common divisor of"] ;
+
+ WhatIs = prefixSS ["what is"] ;
+ WhichAre cn ap = ss ("which" ++ cn.s ++ "is" ++ ap.s) ; ---- are
+ QuestS s = s ; ---- inversion
+
+ Yes = ss "yes" ;
+ No = ss "no" ;
+
+ Value np = np ;
+ Many list = list ;
+
+ BasePN = infixSS "and" ;
+ ConsPN = infixSS "," ;
+
}