From 09171eecb4d15d27f37a0619230915e05e50dde0 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sun, 4 Apr 2010 20:44:37 +0000
Subject: reduced overgeneration by only allowing one AdA in Phrasebook

---
 examples/phrasebook/Sentences.gf | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'examples/phrasebook/Sentences.gf')

diff --git a/examples/phrasebook/Sentences.gf b/examples/phrasebook/Sentences.gf
index 453db03f8..73fb8a109 100644
--- a/examples/phrasebook/Sentences.gf
+++ b/examples/phrasebook/Sentences.gf
@@ -3,7 +3,7 @@ abstract Sentences = Numeral ** {
   cat
     Phrase ;
     Sentence ; Question ; 
-    Object ; Item ; Kind ; Quality ; 
+    Object ; Item ; Kind ; Quality ; Property ;  
     Place ; PlaceKind ; Currency ; Price ; Language ;
     Person ; Action ;
 
@@ -36,13 +36,15 @@ abstract Sentences = Numeral ** {
     ItCost : Item -> Price -> Sentence ;
     AmountCurrency : Numeral -> Currency -> Price ;
 
-    ObjItem : Item -> Object ;
+    ObjItem   : Item -> Object ;
     ObjNumber : Numeral -> Kind -> Object ;
+    ObjIndef  : Kind -> Object ;
     
     This, That, These, Those, The, Thes : Kind -> Item ;
     SuchKind : Quality -> Kind -> Kind ;
-    Very : Quality -> Quality ;
-    Too : Quality -> Quality ;
+    Very : Property -> Quality ;
+    Too : Property -> Quality ;
+    PropQuality : Property -> Quality ;
 
     ThePlace : PlaceKind -> Place ;
 
-- 
cgit v1.2.3