summaryrefslogtreecommitdiff
path: root/examples/query/small/Query.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/query/small/Query.gf')
-rw-r--r--examples/query/small/Query.gf5
1 files changed, 0 insertions, 5 deletions
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 ;