diff options
Diffstat (limited to 'examples/query/Query.gf')
| -rw-r--r-- | examples/query/Query.gf | 66 |
1 files changed, 41 insertions, 25 deletions
diff --git a/examples/query/Query.gf b/examples/query/Query.gf index 34f714b88..4687f6c06 100644 --- a/examples/query/Query.gf +++ b/examples/query/Query.gf @@ -10,8 +10,10 @@ cat Query ;
Answer ;
Set ; -- the set requested, e.g. "all persons"
- Relation ; -- something of something, e.g. "subregion of Bulgaria"
+ Interrogative ; -- interrog. pron. e.g. "who"
+ Function ; -- something of something, e.g. "subregion of Bulgaria"
Kind ; -- type of things, e.g. "person"
+ Relation ; -- relation between things,e.g. "employed at"
Property ; -- property of things, e.g. "employed at Google"
Individual ; -- one entity, e.g. "Google"
Name ; -- person, company... e.g. "Eric Schmidt"
@@ -22,13 +24,16 @@ fun MAnswer : Answer -> Move ;
QSet : Set -> Query ; -- (give me | what are | which are | ) (S | the names of S | S's names)
- QWhere : Set -> Query ; -- where are S
- QWhat : Kind -> Property -> Query ; -- what K P
- QWho : Property -> Query ; -- who P
- QRel : Relation -> Set -> Query ; -- what R does S have
- QInfo : Set -> Query ; -- (give me | ) (information about | all about) S
- QCalled : Individual -> Query ; -- how is X (also | otherwise) (called | named | known) ;
- QWhether : Answer -> Query ; -- is S P --- not in the corpus, but should be ??
+ QWhere : Set -> Query ; -- where are S
+ QWhat : Interrogative -> Property -> Query ; -- who P
+ QWhatWhat : Interrogative -> Interrogative -> Relation -> Query ; -- who R what
+ QWhatWhere : Interrogative -> Relation -> Query ; -- who R where --- overgenerating
+ QRelWhere : Set -> Relation -> Query ; -- where does S R --- overgenerating
+ QFun : Function -> Set -> Query ; -- what R does S have
+ QFunPair : Set -> Function -> Query ; -- S and their R's
+ QInfo : Set -> Query ; -- (give me | ) (information about | all about) S
+ QCalled : Individual -> Query ; -- how is X (also | otherwise) (called | named | known) ;
+ QWhether : Answer -> Query ; -- is S P --- not in the corpus, but should be ??
AKind : Set -> Kind -> Answer ; -- S is a K
AInd : Set -> Individual -> Answer ; -- S is I
@@ -36,7 +41,7 @@ fun AProp : Set -> Property -> Answer ; -- S is P
SAll : Kind -> Set ; -- all Ks | the Ks
- SRel : Set -> Relation -> Set ; -- S's Rs
+ SFun : Set -> Function -> Set ; -- S's Rs
SOne : Kind -> Set ; -- one K
SIndef : Kind -> Set ; -- a K
SDef : Kind -> Set ; -- the K
@@ -45,12 +50,16 @@ fun SInd : Individual -> Set ; -- X
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
+ IWho : Interrogative ; -- who
+ IWhat : Interrogative ; -- what
+ IWhich : Kind -> Interrogative ; -- which K | what K | which Ks | what Ks
+
+ KFunSet : Function -> Set -> Kind ; -- R of S | S's R
+ KFunsSet : Function -> Function -> Set -> Kind ; -- R and Q of S
+ KFunKind : Kind -> Function -> Set -> Kind ; -- K that is R of S
+ KFunPair : Kind -> Function -> Kind ; -- S's with their R's
KProp : Property -> Kind -> Kind ; -- P K | K that is P
- KRel : Relation -> Kind ; -- R ---??
+ KFun : Function -> Kind ; -- R ---??
IName : Name -> Individual ;
@@ -59,6 +68,8 @@ fun PIs : Individual -> Property ;
+ PRelation : Relation -> Set -> Property ;
+
-- the test lexicon
cat
@@ -68,32 +79,37 @@ fun NCountry : Country -> Name ;
PCountry : Country -> Property ;
- Located : Set -> Property ;
+ Located : Relation ;
- In : Set -> Property ;
- HaveTitleAt : JobTitle -> Set -> Property ;
- HaveTitle : JobTitle -> Property ;
- Employed : Set -> Property ;
+ In : Relation ;
+ HaveTitleAt : JobTitle -> Relation ;
+ EmployedAt : Set -> Relation ;
+ HaveTitle : Relation ;
+ Employed : Relation ;
Named : Name -> Property ;
+
Start : Name -> Property ;
Organization : Kind ;
+ Company : Kind ;
Place : Kind ;
Person : Kind ;
- Location : Relation ;
- Region : Relation ;
- Subregion : Relation ;
+ Location : Function ;
+ Region : Function ;
+ Subregion : Function ;
USA : Country ;
California : Country ;
Bulgaria : Country ;
OblastSofiya : Name ;
- RName : Relation ;
- RNickname : Relation ;
- RJobTitle : Relation ;
+ FName : Function ;
+ FNickname : Function ;
+ FJobTitle : Function ;
+
+ SJobTitle : JobTitle -> Set ; -- a programmer
CEO : JobTitle ;
ChiefInformationOfficer : JobTitle ;
|