From 192f55e2f579d5f736f442287cc237da353a6991 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 20 Oct 2007 09:51:26 +0000
Subject: semantics extended to questions

---
 examples/tutorial/semantics/Base.gf | 28 ++++++++++++++++++++++++++--
 1 file changed, 26 insertions(+), 2 deletions(-)

(limited to 'examples/tutorial/semantics/Base.gf')

diff --git a/examples/tutorial/semantics/Base.gf b/examples/tutorial/semantics/Base.gf
index b99587e96..74528d31d 100644
--- a/examples/tutorial/semantics/Base.gf
+++ b/examples/tutorial/semantics/Base.gf
@@ -5,11 +5,14 @@ abstract Base = {
 cat
   S ; 
   NP ; 
+  PN ;
   CN ; 
   AP ; 
   A2 ; 
   Conj ;
 fun 
+
+-- sentence syntax
   PredAP  : NP -> AP -> S ;
 
   ComplA2 : A2 -> NP -> AP ;
@@ -20,18 +23,39 @@ fun
   ConjAP  : Conj -> AP -> AP -> AP ;
   ConjNP  : Conj -> NP -> NP -> NP ;
 
+  UsePN   : PN -> NP ;
   Every   : CN -> NP ;
   Some    : CN -> NP ;
+  None    : CN -> NP ;
 
   And, Or : Conj ;  
 
 -- lexicon
 
-  UseInt  : Int -> NP ;
+  UseInt  : Int -> PN ;
 
   Number : CN ;
   Even, Odd, Prime : AP ;
   Equal, Greater, Smaller, Divisible  : A2 ;
 
-}
+  Sum, Product, GCD : ListPN -> PN ;
+
+-- adding questions
 
+cat
+  Question ;
+  Answer ;
+  ListPN ;
+fun
+  WhatIs   : PN -> Question ;
+  WhichAre : CN -> AP -> Question ;
+  QuestS   : S -> Question ;
+
+  Yes   : Answer ;
+  No    : Answer ;
+  Value : NP -> Answer ;
+
+  Many  : ListPN -> NP ;
+  BasePN : PN -> PN -> ListPN ;
+  ConsPN : PN -> ListPN -> ListPN ; 
+}
-- 
cgit v1.2.3