fixed and completed the patent query grammr for English

1 files changed, 0 insertions, 86 deletions

diff --git a/examples/query/small/patentsQuery/QueryI.gf b/examples/query/small/patentsQuery/QueryI.gf
deleted file mode 100644
index 3ec88697c..000000000
--- a/examples/query/small/patentsQuery/QueryI.gf
+++ /dev/null
@@ -1,86 +0,0 @@
---# -path=.:..:alltenses
-
-incomplete concrete QueryI of Query = open
-  LexQuery,
-  Syntax,
-  (Lang = Lang),
-  Prelude
-in {
-
-
-
-lincat
-  Move = Utt ; ---- Text ;
-  Query = Utt ;
-  Answer = Utt ;
-  Set = NP ;
-  Relation = {cn : CN ; prep : Prep} ;
-  Kind = CN ;
-  Property = AP ; ---- {vp : VP ; typ : PropTyp} ;
-  Individual = NP ;
-  Activity = VP ;
-  Name = NP ;
-  Loc = NP ;
-  Org = NP ;
-  Pers = NP ;
-  [Individual] = [NP] ;
-
-
-lin
-  MQuery  q = q ; ---- mkText (mkPhr q) questMarkPunct ;
-  MAnswer a = a ; ---- mkText (mkPhr a) fullStopPunct ;
-
-  QSet s =
-    let
-     ss : NP = s
-        | mkNP (mkNP thePl_Det name_N) (mkAdv possess_Prep s)
-        ---- s's names
-    in
-      mkUtt (mkImp (mkVP LexQuery.give_V3 (mkNP i_Pron) ss))
-    | mkUtt (mkQS (mkQCl (Lang.CompIP whatSg_IP) ss))
-    | mkUtt (mkQS (mkQCl (Lang.CompIP (Lang.IdetIP (mkIDet which_IQuant))) ss))
-    | mkUtt ss ;
-
-  QWhere s = mkUtt (mkQS (mkQCl where_IAdv s)) ;
-  QInfo  s =
-    let
-      info : NP = mkNP all_Predet (mkNP (mkNP information_N) (mkAdv about_Prep s)) ;
-    in
-      mkUtt (mkImp (mkVP LexQuery.give_V3 (mkNP i_Pron) info))
-    | mkUtt info ;
-
----  QCalled i = mkUtt (mkQS (mkQCl how_IAdv (mkCl i (mkVP also_AdV (mkVP called_A))))) ;
-
-  AKind s k = mkUtt (mkCl s (mkNP aPl_Det k)) ; ---- a, fun of s
-  AProp s p = mkUtt (mkCl s p) ;
-  AAct s p = mkUtt (mkCl s p) ;
-
-  SAll k = mkNP all_Predet (mkNP aPl_Det k) | mkNP thePl_Det k ;
-  SOne k = mkNP n1_Numeral k ;
-  SIndef k = mkNP a_Det k ;
-  SPlural k = mkNP aPl_Det k ;
-  SOther k = mkNP aPl_Det (mkCN other_A k) ;
-  SInd i = i ;
-  SInds is = mkNP and_Conj is ;
-
-  KRelSet r s =
-     mkCN r.cn (mkAdv r.prep s) ;
-     ---- | S's R
-
-----  KRelsSet r q s =
-----     mkCN r.cn (mkAdv r.prep s) ;
-
-  KRelKind k r s =
-    mkCN k (mkRS (mkRCl that_RP (mkVP (mkNP aPl_Det (mkCN r.cn (mkAdv r.prep s)))))) ;
-
-  KRelPair k r = mkCN k (mkAdv with_Prep (mkNP (mkQuant they_Pron) plNum r.cn)) ;
-  KProp p k =
-     mkCN p k
-   | mkCN k (mkRS (mkRCl that_RP (mkVP p))) ;
-  KAct p k =
-     mkCN k (mkRS (mkRCl that_RP p)) ;
-  KRel r = r.cn ;
-
-
-
-}