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/BaseEng.gf | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'examples/tutorial/semantics/BaseEng.gf') 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 "," ; + } -- cgit v1.2.3