fixed and completed the patent query grammr for English

1 files changed, 0 insertions, 50 deletions

diff --git a/examples/query/small/patentsQuery/Query.gf b/examples/query/small/patentsQuery/Query.gf
deleted file mode 100644
index 83eb87892..000000000
--- a/examples/query/small/patentsQuery/Query.gf
+++ /dev/null
@@ -1,50 +0,0 @@
-abstract Query = {

-

-flags

-  startcat = Move ;

-

--- general query language, which can be specialized with any lexicon

-

-cat

-  Move ;       -- top-level utterance,    e.g. "give me all Bulgarian persons that work at Google"

-  Query ;

-  Answer ;

-  Set ;        -- the set requested,      e.g. "all persons"

-  Relation ;   -- something of something, e.g. "subregion of Bulgaria"

-  Kind ;       -- type of things,         e.g. "person"

-  Property ;   -- property of things,     e.g. "employed at Google"

-  Individual ; -- one entity,             e.g. "Google"

-  Activity ;   -- action property,        e.g. "work at Google"

-  Name ;       -- person, company...      e.g. "Eric Schmidt"

-  Loc ;

-  Org ;

-  Pers ;

-  [Individual] {2} ; -- list of entities, e.g. "Larry Page, Sergey Brin"

-

-fun

-  MQuery  : Query -> Move ;

-  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

-  QInfo   : Set  -> Query ;  -- (give me | ) (information about | all about) S

-

-  AKind  : Set  -> Kind     -> Answer ; -- S is a K

-  AProp  : Set  -> Property -> Answer ; -- S is P

-  AAct   : Set  -> Activity -> Answer ; -- S As

-

-  SAll    : Kind -> Set ;  -- all Ks | the Ks

-  SOne    : Kind -> Set ;  -- one K

-  SIndef  : Kind -> Set ;  -- a K

-  SPlural : Kind -> Set ;  -- Ks

-  SOther  : Kind -> Set ;  -- other Ks

-  SInd    : Individual  -> Set ;  -- X

-  SInds   : [Individual] -> Set ; -- X and Y

-

-  KRelSet  : Relation -> Set -> Kind ; -- R of S | S's R

-  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

-  KAct     : Activity -> Kind -> Kind ; -- K that Ps

-  KRel     : Relation -> Kind ; -- R ---??

-}