diff options
Diffstat (limited to 'examples/query/small/Query.gf')
| -rw-r--r-- | examples/query/small/Query.gf | 5 |
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 ;
|
