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/BaseEng.gf | |
| parent | e86db4d8c8287790a90955fefec10b7a64988ff8 (diff) | |
semantics extended to questions
Diffstat (limited to 'examples/tutorial/semantics/BaseEng.gf')
| -rw-r--r-- | examples/tutorial/semantics/BaseEng.gf | 19 |
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 "," ; + } |
