GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-22 11:19:32 -06:00
Code Issues Packages Projects Releases Wiki Activity

QueryFin improved

Browse Source
This commit is contained in:
aarne
2011-09-19 14:37:30 +00:00
parent 343e852bfe
commit a96e90a4ae
4 changed files with 48 additions and 97 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
examples/query/small/Query.gf
View File

@@ -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 ;