From a96e90a4ae0f05092f9009467d5afcde6f2962f6 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 19 Sep 2011 14:37:30 +0000
Subject: QueryFin improved

---
 examples/query/small/Query.gf | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'examples/query/small/Query.gf')

diff --git a/examples/query/small/Query.gf b/examples/query/small/Query.gf
index 532dc6a8e..1efa3277f 100644
--- a/examples/query/small/Query.gf
+++ b/examples/query/small/Query.gf
@@ -43,7 +43,6 @@ fun
   SInds  : [Individual] -> Set ; -- X and Y
 
   KRelSet  : Relation -> Set -> Kind ; -- R of S | S's R
-  KRelsSet : Relation -> Relation -> Set -> Kind ; -- R and Q of S
   KRelKind : Kind -> Relation -> Set -> Kind ; -- K that is R of S
   KRelPair : Kind -> Relation -> Kind ; -- S's with their R's
   KProp    : Property -> Kind -> Kind ; -- P K | K that is P
@@ -62,12 +61,8 @@ fun
 -- the test lexicon
 
 cat
-  Country ;
   JobTitle ;
 fun
-  NCountry : Country -> Name ;
-  PCountry : Country -> Property ;
-
   Located : Loc -> Property ;
   Employed : Org -> Property ;
 
-- 
cgit v1.2.3