added patents queries in new_patentsQuery

8 files changed, 1656 insertions, 0 deletions

diff --git a/examples/query/small/new_patentsQuery/LexQueryPats.gf b/examples/query/small/new_patentsQuery/LexQueryPats.gf
new file mode 100644
index 000000000..466e924c3
--- /dev/null
+++ b/examples/query/small/new_patentsQuery/LexQueryPats.gf
@@ -0,0 +1,111 @@
+interface LexQueryPats = open Syntax, QueryPats, Query in 
+{
+
+oper
+
+-------------------------------------------------------------- 
+-- structural words and extra grammar constructs
+
+   about_Prep : Prep ;
+
+   all_NP : NP ;
+
+   vpAP : VP -> AP ;
+   
+   what_IQuant : IQuant ;
+
+   massInfoSg : CN -> NP ;
+ 
+   massInfoPl : CN -> NP ;
+ 
+   PatsAdvVPSlash : VPSlash -> Adv -> VPSlash ;  
+
+   selectIP : NP -> IP ; -- selecting the right agreement : what are the ingredients ? / what is the expiration date ? (not obvious in English, but will make a difference in other languages) 
+
+
+--------------------------------------------------------------
+-- kinds 
+
+   patent_number_CN : Kind ;
+
+   claim_N : Kind ;
+
+
+--------------------------------------------------------------
+-- activities 
+
+   expire_V : Adv -> Activity ;
+
+   simp_expire_V : Activity ;
+
+   apply_V : NP -> Activity ;
+
+   compound_CN : Activity ;
+  
+   use_V2 : Set -> Activity ;
+
+   approve_V2 : Adv -> Activity ;
+ 
+   mention_V2 : NP -> Activity ;
+
+   contain_V2 : NP -> Activity ;
+
+
+--------------------------------------------------------------
+-- properties 
+
+   approve_prop_V2 : Adv -> Property ;
+
+   use_prop_V2 : Set -> Property ;
+
+--------------------------------------------------------------
+-- relations  
+ 
+   active_ingredient_CN : Relation ;
+
+   dosage_form_CN : Relation ;
+
+   route_of_administration_CN : Relation ;
+
+   patent_number_Rel : Relation ;  
+
+   patent_N : Relation ;
+  
+   patent_with_N : Relation ;
+
+   expiration_date_CN : Relation ;
+
+   use_code_CN : Relation ;
+
+   application_number_CN : Relation ;
+
+   application_number_no_CN : Relation ;
+  
+   applicant_CN : Relation ;
+
+   applicant_no_CN : Relation ;
+
+   approval_date_CN : Relation ;
+
+   chemical_composition_CN : Relation ;
+ 
+   chemical_substance_CN : Relation ;
+
+   drug_N : Relation ;
+ 
+   use_N : Relation ;  
+
+   method_N : Relation ;
+
+   drug_with_usage_form_CN : Relation ;
+
+   drug_preparation_CN : Relation ;
+  
+   strength_N : Relation ;
+
+   name_N : Relation ;   
+  
+   usage_form_CN : Relation ; 
+
+
+}
\ No newline at end of file
diff --git a/examples/query/small/new_patentsQuery/LexQueryPatsEng.gf b/examples/query/small/new_patentsQuery/LexQueryPatsEng.gf
new file mode 100644
index 000000000..09206388e
--- /dev/null
+++ b/examples/query/small/new_patentsQuery/LexQueryPatsEng.gf
@@ -0,0 +1,136 @@
+instance LexQueryPatsEng of LexQueryPats = open
+  SyntaxEng,
+  (M=MakeStructuralEng),
+  ParadigmsEng,
+  ExtraEng,
+  IrregEng, 
+  LangEng,
+  ResEng,
+  QueryEng
+   in 
+{
+
+oper 
+-------------------------------------------------------------- 
+-- structural words and extra grammar constructs
+
+   about_Prep : Prep  = mkPrep "about" ;
+
+   all_NP : NP = SyntaxEng.mkNP (mkPN "all") ;
+
+   vpAP : VP -> AP = PartVP ;
+   
+   what_IQuant : IQuant = M.mkIQuant "what" "what" ;
+
+   massInfoSg : CN -> NP = \cn -> SyntaxEng.mkNP cn ;
+ 
+   massInfoPl : CN -> NP = \cn -> SyntaxEng.mkNP aPl_Det cn ;
+ 
+   PatsAdvVPSlash : VPSlash -> Adv -> VPSlash = LangEng.AdvVPSlash ;  
+
+   selectIP : NP -> IP = \np -> case np.a of 
+     {AgP3Sg _ => whatSg_IP ;
+      _        => whatPl_IP
+     };
+
+
+--------------------------------------------------------------
+-- kinds 
+
+   patent_number_CN : Kind = lin Kind  (mkCN (mkN "patent" (mkN "number"))) ;
+
+   claim_N : Kind = lin Kind (mkCN (mkN "claim")) ;
+
+ 
+--------------------------------------------------------------
+-- activities 
+
+   expire_V : Adv -> Activity = \pdate -> 
+        lin Activity (mkVP (mkVP (mkV "expire")) pdate) ;
+
+   simp_expire_V : Activity =  
+        lin Activity (mkVP (mkV "expire")) ;
+
+   apply_V : NP -> Activity = \pat ->  lin Activity ( mkVP (mkVP (mkV "apply" "applies" "applied" "applied" "applying")) (SyntaxEng.mkAdv for_Prep pat)) ;
+
+   compound_CN : Activity = let vp : VP = mkVP (mkCN (mkN "compound"))
+            in  lin Activity vp ;
+  
+   use_V2 : Set -> Activity = \s -> lin Activity (mkVP (passiveVP (mkV2 (mkV "use" "uses" "used" "used" "using"))) (SyntaxEng.mkAdv in_Prep s));
+
+   approve_V2 : Adv -> Activity = \pdate -> lin Activity (mkVP (passiveVP (mkV2 (mkV "approve" "approves" "approved" "approved" "approving"))) pdate) ;
+ 
+   mention_V2 : NP -> Activity = \drug -> 
+    lin Activity ( mkVP (mkVPSlash (mkV2 (mkV "mention" "mentions" "mentioned" "mentioned" "mentioning"))) drug) ;
+
+   contain_V2 : NP -> Activity  = \chem ->
+    lin Activity (mkVP (mkVPSlash (mkV2 (mkV "contain" "contains" "contained" "contained" "containing"))) chem) ;
+
+
+--------------------------------------------------------------
+-- properties 
+
+   approve_prop_V2 : Adv -> Property  = \pdate -> lin Property (vpAP (mkVP (passiveVP (mkV2 (mkV "approve" "approves" "approved" "approved" "approving"))) pdate)) ;
+
+   use_prop_V2 : Set -> Property = \s -> lin Property (vpAP (mkVP (passiveVP (mkV2 (mkV "use" "uses" "used" "used" "using"))) (SyntaxEng.mkAdv in_Prep s))) ;
+  
+  
+
+--------------------------------------------------------------
+-- relations  
+ 
+   active_ingredient_CN : Relation = makeRelation (mkCN (mkA "active")  (mkN "ingredient")) ;
+
+   dosage_form_CN : Relation = makeRelation (mkCN (mkN "dosage" (mkN "form"))) ;
+
+   route_of_administration_CN : Relation = makeRelation (mkCN (mkN "route") (SyntaxEng.mkAdv (mkPrep "of") (SyntaxEng.mkNP (mkN "administration")))) ;
+
+   patent_number_Rel : Relation  = makeRelation (mkCN (mkN "patent" (mkN "number"))) ;
+
+   patent_N : Relation = lin Relation {cn = mkCN (mkN "patent") ; prep = for_Prep } ;
+  
+   patent_with_N : Relation = lin Relation {cn = mkCN (mkN "patent"); prep = with_Prep} ;
+
+   expiration_date_CN : Relation  = makeRelation (mkCN (mkN "expiration" (mkN "date"))) ;
+
+   use_code_CN : Relation = makeRelation (SyntaxEng.mkCN (mkN "use" (mkN "code"))) ; 
+
+   application_number_CN : Relation  = makeRelation ((mkCN (mkN "application" (mkN  "number"))) | (mkCN (mkN ["patent application"] (mkN  "number")))) ;
+
+
+   application_number_no_CN : Relation  = lin Relation {cn = ((mkCN (mkN "application" (mkN  "number"))) | (mkCN (mkN ["patent application"] (mkN  "number")))); prep = noPrep} ;
+  
+   applicant_CN : Relation = lin Relation { cn = mkCN (mkN "applicant") ; prep = for_Prep } ;
+
+
+   applicant_no_CN : Relation = lin Relation {cn = mkCN (mkN "applicant"); prep = noPrep} ;
+
+   approval_date_CN : Relation = makeRelation (mkCN (mkN "approval" (mkN "date"))) ;
+
+
+   chemical_composition_CN : Relation = makeRelation (mkCN (mkA "chemical") (mkN "composition")) ;
+ 
+   chemical_substance_CN : Relation = lin Relation {cn = (mkCN (mkA "chemical") (mkN "substance")) ; prep = from_Prep | part_Prep } ;
+
+   drug_N : Relation = lin Relation {cn = mkCN (mkN "drug") ; prep = with_Prep} ;
+ 
+   use_N : Relation = makeRelation (mkCN (mkN "use")) ;  
+
+   method_N : Relation  = makeRelation (mkCN (mkN "method")) ;
+
+   drug_with_usage_form_CN : Relation = lin Relation {cn = mkCN (mkN "drug") ; prep = noPrep } ;
+
+   drug_preparation_CN : Relation = lin Relation {cn = mkCN (mkN "drug" (mkN "preparation")) ; prep = for_Prep} ; 
+  
+   strength_N : Relation  = makeRelation (mkCN (mkN "strength")) ;
+
+   name_N : Relation = makeRelation (mkCN (mkN "name")) ;
+
+   usage_form_CN = makeRelation (mkCN (mkN "usage" (mkN "form"))) ;
+
+----------------------------------------------------------------------------
+oper makeRelation : CN -> Relation =
+    \s -> lin Relation {cn = s ; prep = possess_Prep} ;
+
+
+}
\ No newline at end of file
diff --git a/examples/query/small/new_patentsQuery/QueryPats.gf b/examples/query/small/new_patentsQuery/QueryPats.gf
new file mode 100644
index 000000000..b66950d20
--- /dev/null
+++ b/examples/query/small/new_patentsQuery/QueryPats.gf
@@ -0,0 +1,194 @@
+--# -path=.:..:alltenses
+
+abstract QueryPats = Query ** open Syntax in {
+-------------------------------------------------------------------------------------
+-- additions to the general Query grammar
+
+
+fun 
+ 
+ SThe : Kind -> Set ; -- the route of administration
+
+ SMassSg : Kind -> Set ; -- route of administration 
+
+ QWho : Activity -> Query ; -- who applied for the patent ? 
+ 
+-- QWhen : Set -> Activity -> Query ; -- when was the patent approved ? 
+
+ QMass : Set -> Query ; -- expiration date of the patent
+ 
+ QExist : Kind -> Query ; -- what dosage forms of DRUG are there ? 
+  -- maybe merge with QSet
+
+ 
+
+
+-------------------------------------------------------------------------------------
+-- categories and example functions for the Patent Query grammar
+
+cat 
+  Drug ; 
+  Patent ; 
+  ChemicalSubstance ;
+  DrugUsageForm ;
+  PatentNumber ;
+  Applicant ;
+  ApplicationNumber ;
+  PatsDate ;
+  SimpDate ;
+
+--------------------------------------------------------------------------------
+-- simple coercions
+
+fun DrugToSet : Drug -> Set ; 
+fun PatentToSet : Patent -> Set ;
+fun ChemToSet : ChemicalSubstance -> Set ;
+fun UsageToSet : DrugUsageForm -> Set ;
+fun PatNumToSet : PatentNumber -> Set ; 
+fun AppToSet : Applicant -> Set ;
+fun AppNumToSet : ApplicationNumber -> Set ;
+--fun DateToSet : PatsDate -> Set ;
+
+
+fun 
+  OnDate : SimpDate ->  PatsDate ;
+  BeforeDate : SimpDate -> PatsDate ;
+  AfterDate : SimpDate ->  PatsDate ;
+  FromSimpDate : SimpDate -> PatsDate ; 
+
+
+-------------------------------------------------------------------------------------
+-- main functions for the Patents Query grammar 
+
+fun 
+
+  PQInfo : Drug -> Query ; -- what information do you have about DRUG | give me all information about DRUG ...
+
+  PQActive : Drug -> Query ; -- what active ingredients are in DRUG
+
+  PQDosage : Drug -> Query ; -- what are the dosage forms of DRUG
+
+  PQRoute : Drug -> Query ; -- what is the route of administration of DRUG
+
+  PQPatentNo : Query ; -- give me all the patent numbers
+  
+  PQPatentDrug : Drug -> Query ; -- give me the patent number of DRUG
+  
+  PQPatentPat : Patent -> Query ; -- give me the patent number for PATENT
+
+  PQExpPat : Patent -> Query ; -- when does PATENT expire
+   
+  PQExpDrug : Drug -> Query ;  -- when does the patent for DRUG expire
+   
+  PQUseCode : Patent -> Query ; -- what is the use code of PATENT
+   
+  PQAppNumber : Patent -> Query ; -- what is the application number for PATENT
+  
+  PQApplicant : Patent -> Query ; -- who applied for PATENT
+
+  PQAppDayDrug : Drug -> Query ; -- what is the approval date of the patent for DRUG
+  
+  PQAppDayPat : Patent -> Query ; -- what is the approval date of PATENT
+   
+  PQAppDayPatApp : Patent -> Applicant -> Query ; -- what is the approval date of PATENT with APPLICANT
+
+  PQAppDayNo : ApplicationNumber -> Query ; -- what is the approval date for the patent with APPLICATION_NUMBER
+ 
+  PQChemComp : Drug -> Query ;  -- what is the chemical composition of DRUG
+
+  PQCompounds : Query ; -- what are the drugs that are compounds
+
+  PQPrep : Query ; -- what drug preparations are there  
+
+  PQDrugPrep : Drug -> Query ; -- the drug preparation for DRUG
+
+  PQPrepDate : Drug -> PatsDate -> Query ; -- the drug preparation for DRUG with a patent that expires after DATE
+
+  PQName : Drug -> Query ; -- the name of DRUG
+ 
+  PQNameDate : Drug -> PatsDate -> Query ;  -- the name of drug with approval date DATE
+
+  PQNameApp : Applicant -> Query ; -- the name of drug with a patent from applicant APPLICANT
+
+  PQMethods : Patent -> Query ; -- what methods are used for PATENT
+
+  PQDateMeth : PatsDate -> Query ;  -- what methods are used in patents with approval date before DATE 
+
+  PQMethNo : PatentNumber -> Query ; -- what methods are used in the patent with patent number PATENT_NUMBER
+
+  PQUse : Patent -> Query ; -- what is the use of PATENT
+
+  PQUseDate : PatsDate -> Query ; -- what is the use of PATENT approved before DATE
+
+  PQUseExp : Patent -> PatsDate -> Query ; -- what is the use of PATENT that expires on DATE 
+  
+  PQDateUse : PatsDate -> Query ; -- give me all patents approved on DATE
+
+  PQUseDrug : Drug -> Query ; -- what is the use of DRUG
+
+  PQUseChem : ChemicalSubstance -> Query ; -- what is the use of drugs that contain CHEMICAL_SUBSTANCE 
+
+  PQUseForm : DrugUsageForm -> Query ; -- what is the use of drugs with usage form DRUG_USAGE_FORM   
+
+  PQStrength : Drug -> Query ; -- what is the strength of DRUG
+
+  PQStrengthChem : ChemicalSubstance -> Query ; -- what is the strenght of drugs that contain CHEMICAL_SUBSTANCE
+
+  PQClaims  : Drug -> Query ; -- what are the claims that mention DRUG 
+
+
+
+fun 
+---------------------
+  Aspirin : Drug ;
+---------------------
+-- put all other drug names here !
+
+
+---------------------
+  Pats1230 : Patent ; 
+---------------------
+-- put all other patent names here !
+
+
+---------------------
+  Hydrogen : ChemicalSubstance ;
+---------------------
+-- put all chemical substances here !
+
+
+--------------------
+  Inhalation : DrugUsageForm ;
+--------------------
+-- put all drug usage forms here !
+
+
+
+-------------------
+  P123 : PatentNumber ;
+-------------------
+-- put all patent numbers here !
+
+
+
+-------------------
+  JohnDoe : Applicant ;
+-------------------
+-- put all applicants here !
+
+
+
+-------------------
+   A123 : ApplicationNumber ;
+------------------
+-- put all application numbers here
+
+
+-------------------
+   Today : PatsDate ;
+   A20June : SimpDate ; 
+-------------------
+-- put all dates here (maybe use Date grammar instead)
+
+
+}
\ No newline at end of file
diff --git a/examples/query/small/new_patentsQuery/QueryPatsEng.gf b/examples/query/small/new_patentsQuery/QueryPatsEng.gf
new file mode 100644
index 000000000..f3800d9fd
--- /dev/null
+++ b/examples/query/small/new_patentsQuery/QueryPatsEng.gf
@@ -0,0 +1,387 @@
+--# -path=.:..:alltenses
+
+concrete QueryPatsEng of QueryPats = QueryEng ** open
+    LexQueryPatsEng,
+    ParadigmsEng,
+    IrregEng,
+    SyntaxEng,
+    ExtraEng,
+    (L=LangEng),
+    (M=MakeStructuralEng),
+    Prelude
+in {
+
+
+--------------------------------------------------------
+-- additions to the original query grammar 
+
+lin
+
+ SThe k = SyntaxEng.mkNP the_Det k ; 
+
+ SMassSg k = SyntaxEng.mkNP k ;  
+
+ QWho a = mkUtt (mkQCl whoSg_IP a) ; 
+ 
+-- QWhen : Set -> Activity -> Query ;  
+
+ QMass s = mkUtt s ; 
+
+ QExist s =  mkUtt (L.ExistIP (L.IdetCN (L.IdetQuant what_IQuant L.NumPl) s))
+              | mkUtt (mkNP all_NP (SyntaxEng.mkAdv about_Prep (mkNP s))) ;
+
+
+---------------------------------------------------------
+-- from the patent query grammar 
+
+lincat 
+  Drug = NP ;
+  Patent = NP ; 
+  ChemicalSubstance = NP ;
+  DrugUsageForm = NP ;
+  PatentNumber = NP ;
+  Applicant = NP ;
+  ApplicationNumber = NP ;
+  PatsDate = Adv ;  
+  SimpDate = Adv ; 
+
+
+lin
+PQInfo drug = QInfo (DrugToSet drug) ;  
+     
+PQActive drug = 
+      let ai : Kind = KRelSet active_ingredient_CN (DrugToSet drug) 
+   in 
+    basicPlur ai  ;
+ 
+
+PQDosage drug = 
+       let df : Kind = KRelSet dosage_form_CN (DrugToSet drug)          
+   in 
+    basicBoth df | QExist df ;
+   
+
+PQRoute drug = 
+      let df : Kind = KRelSet route_of_administration_CN (DrugToSet drug)  
+   in 
+    basicBoth df | QExist df ;
+
+
+PQPatentNo =  
+      let bu : Query = basicPlur patent_number_CN 
+        in 
+  bu | QExist patent_number_CN ;
+    
+
+PQPatentDrug drug = 
+        let df : Kind = KRelSet patent_number_Rel (DrugToSet drug)  
+  in 
+    basicSing df ;
+
+
+
+PQPatentPat  patent = 
+       let ai : Kind = KRelSet patent_number_Rel (PatentToSet patent) 
+   in 
+    basicSing ai ;
+
+
+PQExpPat patent = 
+       let 
+          ai : Kind = KRelSet expiration_date_CN (PatentToSet patent) ;
+          bu : Query = basicSing ai 
+   in 
+    bu ; 
+  -- KAct when_IAdv (mkCl patent (mkVP expire_V))) ;
+
+
+PQExpDrug drug = 
+      let 
+          ai : Kind = KRelSet expiration_date_CN (SThe (KRelSet patent_N (DrugToSet drug))) 
+   in 
+  basicSing ai ;
+--   | mkUtt (mkQCl when_IAdv (mkCl (mkNP the_Art ai) (mkVP expire_V)));
+
+
+PQUseCode patent = 
+       let df : Kind = KRelSet use_code_CN (PatentToSet patent) 
+  in 
+   basicBoth df  ;
+
+
+PQAppNumber patent = 
+     let df : Kind = KRelSet application_number_CN (PatentToSet patent) 
+  in 
+  basicSing df  ;
+
+
+PQApplicant patent = 
+    let df : Kind = KRelSet applicant_CN (PatentToSet patent) ;
+         bu : Query = basicSing df 
+   in 
+   bu ;
+--   | mkUtt (mkQS (mkQCl whoSg_IP (mkVP (mkVP apply_V) (SyntaxEng.mkAdv for_Prep patent)))) 
+--   | mkUtt (mkQS pastTense (mkQCl whoSg_IP (mkVP (mkVP apply_V) (SyntaxEng.mkAdv for_Prep patent))));
+
+
+PQAppDayDrug drug =
+    let df : Kind = KRelSet approval_date_CN (SThe (KRelSet patent_N (DrugToSet drug)))
+    in 
+     basicSing df  ; 
+
+ 
+PQAppDayPat patent =
+    let df : Kind = KRelSet approval_date_CN (PatentToSet patent) 
+    in
+     basicSing df  ;
+ 
+
+PQAppDayPatApp patent applicant =
+       let df : Kind = KRelSet approval_date_CN (SThe (KRelSet patent_with_N (SThe (KRelSet applicant_CN (AppToSet applicant))))) 
+        in 
+        basicSing df  ;
+
+
+PQAppDayNo appno = 
+     let df : Kind = KRelSet approval_date_CN (SThe (KRelSet  patent_with_N (SThe (KRelSet application_number_CN (AppNumToSet appno))))) 
+   in 
+     basicSing df ;
+
+ 
+PQChemComp drug = 
+     let 
+         df : Kind = KRelSet chemical_substance_CN (DrugToSet drug) ;
+         cc : Kind = KRelSet chemical_composition_CN (DrugToSet drug)         
+   in 
+    basicPlur df | basicSing cc ; 
+
+
+PQCompounds  =
+       let cc : Kind = KAct compound_CN (KRel drug_N)          
+        in 
+          basicPlur cc  ;
+
+
+PQPrep = 
+     basicPlur (KRel drug_preparation_CN)
+   | QExist (KRel drug_preparation_CN) ;
+
+
+PQDrugPrep drug = 
+        let df : Kind = KRelSet drug_preparation_CN (DrugToSet drug) 
+  in 
+      basicSing df ;
+
+-----
+
+PQName drug = 
+    let 
+         df : CN = KRelSet name_N (DrugToSet drug) 
+   in 
+     basicSing df ;
+
+
+PQNameApp applicant = 
+        let   pt2 : Set = SIndef (KRelSet  patent_with_N (SThe (KRelSet applicant_CN applicant))) ;
+              df : Kind = KRelSet drug_N pt2 
+   in 
+     basicSing df ; 
+
+----
+ 
+PQMethods patent = 
+        let  pt1 : Kind = KProp (use_prop_V2 (PatentToSet patent)) (KRel method_N) ;
+             pt2 : Kind = KRelSet method_N (PatentToSet patent) ;
+             pt : Kind = pt1 | pt2               
+   in 
+    basicPlur pt ; 
+
+
+PQDateMeth date  =  
+       let pdate : Set = SAll (KAct (expire_V date) (KRel patent_N)) ;
+            pt1 : Kind = KAct  (use_V2 pdate) (KRel method_N) ;
+            pt2 : Kind = KProp (use_prop_V2 pdate) (KRel method_N) ;
+            pt3 : Kind = KRelSet method_N pdate ;
+             pt : Kind = pt1 | pt2 | pt3              
+   in 
+    basicPlur pt ;
+
+ 
+PQMethNo appno = 
+        let pdate : Set = SThe (KRelSet patent_with_N (SThe (KRelSet application_number_no_CN appno))) ;
+           pt1 : Kind = KProp (use_prop_V2 (SThe (KRel patent_N))) (KRel method_N) ;
+           pt2 : Kind = KRelSet method_N (SThe (KRel patent_N)) ;
+           pt : Kind = pt1 | pt2               
+   in 
+     basicPlur pt ;
+
+----
+
+PQUse patent =   
+   let df : Kind = KRelSet use_N (PatentToSet patent) 
+  in 
+    basicSing df ;   
+
+
+PQUseDate date = 
+       let pdate : Set =  SThe (KAct (approve_V2 date) (KRel patent_N))  ;
+           pt : Kind = KRelSet use_N pdate              
+   in 
+     basicSing pt ;
+
+PQDateUse date =
+      let  patent : Kind = KRel patent_N ;
+           pdate : Set = SAll (KProp (approve_prop_V2 date) patent) ;
+           pt : Kind = KRelSet use_N pdate 
+              
+   in 
+     basicPlur pt ;
+
+
+PQUseDrug drug = 
+    let df : Kind = KRelSet use_N (DrugToSet drug) 
+   in 
+      basicSing df  ;
+
+
+PQUseChem chem = 
+   let  drug : Kind = KAct (contain_V2 chem) (KRel drug_N) ;
+        drugs : Set = SAll drug ;
+        df : Kind = KRelSet use_N drugs         
+   in 
+     basicSing df  ;    
+
+
+PQUseForm uform = 
+   let  drug : Kind = KRelSet usage_form_CN (UsageToSet uform) ;
+        drugs : Set = SAll drug ;
+        df : Kind = KRelSet use_N drugs 
+   in 
+      basicSing df  ;
+
+---
+
+PQStrength drug =
+    let df : Kind = KRelSet strength_N (DrugToSet drug) 
+   in 
+      basicSing df  ;
+      
+
+PQStrengthChem chem = 
+   let  drug : Kind = KAct (contain_V2 chem) (KRel drug_N) ;
+        drugs : Set = SAll drug ;
+        df : Kind = KRelSet strength_N (DrugToSet drugs) 
+  in 
+     basicSing df  ; 
+
+---
+
+PQClaims  drug = 
+       let cc : Kind =  KAct (mention_V2 drug) (mkCN claim_N) 
+            in 
+       basicPlur cc ;
+
+
+
+--------------------------------------------------------------------------------
+ oper basicSing : CN -> Utt =
+    \df -> 
+       let  sg_df : NP = SThe df ;
+            massdf : NP = SMassSg df 
+     in 
+      QSet sg_df
+   | QMass massdf
+   | QMass sg_df ;
+   
+
+oper basicPlur : CN -> Utt = 
+    \df -> 
+       let  sg_df : NP = SAll df ;
+            massdf : NP = SPlural df
+     in 
+      QInfo sg_df
+   | QMass massdf
+   | QMass sg_df ;
+   
+
+oper basicBoth : CN -> Utt = 
+  \df ->
+     let sg_df : NP = SThe df ;
+          the_df : NP = SAll df ; 
+          mass_sg_df : NP = SMassSg df ;
+          mass_pl_df : NP = SPlural df
+   in
+     QInfo the_df 
+   | QInfo sg_df
+   | QMass mass_sg_df
+   | QMass sg_df
+   | QMass mass_pl_df
+   | QMass the_df ;
+
+--------------------------------------------------------------------------
+-- coercions
+
+lin DrugToSet d = d ; 
+lin PatentToSet d = d ;
+lin ChemToSet d = d ;
+lin UsageToSet d = d ;
+lin PatNumToSet d = d ; 
+lin AppToSet d = d ;
+lin AppNumToSet d = d ;
+--lin DateToSet : PatsDate -> Set ;
+
+
+
+ OnDate d = mkPatsDate on_Prep ;
+ BeforeDate d = mkPatsDate before_Prep ;
+ AfterDate d = mkPatsDate after_Prep ;
+
+ oper mkPatsDate : Prep -> Adv = \prep -> SyntaxEng.mkAdv prep (mkNP (mkPN "DATE")) ;
+
+
+
+
+-- lexicon
+
+oper mkDrug : Str -> NP = 
+    \p -> SyntaxEng.mkNP  (mkPN p) ;
+
+oper mkPatents : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper mkChemicalSubstance : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper mkDrugUsageForm : Str -> NP =
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper  mkPatentNumber : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper  mkApplicant : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper  mkApplicationNumber : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p);
+
+
+
+
+lin
+
+Aspirin = mkDrug "DRUG" ;
+
+Pats1230 = mkPatents "PATENT" ;
+
+Hydrogen = mkChemicalSubstance "CHEMICAL_SUBSTANCE" ;
+
+Inhalation = mkDrugUsageForm "DRUG_USAGE_FORM" ;
+
+P123 = mkPatentNumber "PATENT_NUMBER" ;
+
+JohnDoe = mkApplicant "APPLICANT" ;
+
+A123 = mkApplicationNumber "APPLICATION_NUMBER" ;
+
+
+}
\ No newline at end of file
diff --git a/examples/query/small/patentsQuery/LexQueryPats.gf b/examples/query/small/patentsQuery/LexQueryPats.gf
new file mode 100644
index 000000000..466e924c3
--- /dev/null
+++ b/examples/query/small/patentsQuery/LexQueryPats.gf
@@ -0,0 +1,111 @@
+interface LexQueryPats = open Syntax, QueryPats, Query in 
+{
+
+oper
+
+-------------------------------------------------------------- 
+-- structural words and extra grammar constructs
+
+   about_Prep : Prep ;
+
+   all_NP : NP ;
+
+   vpAP : VP -> AP ;
+   
+   what_IQuant : IQuant ;
+
+   massInfoSg : CN -> NP ;
+ 
+   massInfoPl : CN -> NP ;
+ 
+   PatsAdvVPSlash : VPSlash -> Adv -> VPSlash ;  
+
+   selectIP : NP -> IP ; -- selecting the right agreement : what are the ingredients ? / what is the expiration date ? (not obvious in English, but will make a difference in other languages) 
+
+
+--------------------------------------------------------------
+-- kinds 
+
+   patent_number_CN : Kind ;
+
+   claim_N : Kind ;
+
+
+--------------------------------------------------------------
+-- activities 
+
+   expire_V : Adv -> Activity ;
+
+   simp_expire_V : Activity ;
+
+   apply_V : NP -> Activity ;
+
+   compound_CN : Activity ;
+  
+   use_V2 : Set -> Activity ;
+
+   approve_V2 : Adv -> Activity ;
+ 
+   mention_V2 : NP -> Activity ;
+
+   contain_V2 : NP -> Activity ;
+
+
+--------------------------------------------------------------
+-- properties 
+
+   approve_prop_V2 : Adv -> Property ;
+
+   use_prop_V2 : Set -> Property ;
+
+--------------------------------------------------------------
+-- relations  
+ 
+   active_ingredient_CN : Relation ;
+
+   dosage_form_CN : Relation ;
+
+   route_of_administration_CN : Relation ;
+
+   patent_number_Rel : Relation ;  
+
+   patent_N : Relation ;
+  
+   patent_with_N : Relation ;
+
+   expiration_date_CN : Relation ;
+
+   use_code_CN : Relation ;
+
+   application_number_CN : Relation ;
+
+   application_number_no_CN : Relation ;
+  
+   applicant_CN : Relation ;
+
+   applicant_no_CN : Relation ;
+
+   approval_date_CN : Relation ;
+
+   chemical_composition_CN : Relation ;
+ 
+   chemical_substance_CN : Relation ;
+
+   drug_N : Relation ;
+ 
+   use_N : Relation ;  
+
+   method_N : Relation ;
+
+   drug_with_usage_form_CN : Relation ;
+
+   drug_preparation_CN : Relation ;
+  
+   strength_N : Relation ;
+
+   name_N : Relation ;   
+  
+   usage_form_CN : Relation ; 
+
+
+}
\ No newline at end of file
diff --git a/examples/query/small/patentsQuery/LexQueryPatsEng.gf b/examples/query/small/patentsQuery/LexQueryPatsEng.gf
new file mode 100644
index 000000000..09206388e
--- /dev/null
+++ b/examples/query/small/patentsQuery/LexQueryPatsEng.gf
@@ -0,0 +1,136 @@
+instance LexQueryPatsEng of LexQueryPats = open
+  SyntaxEng,
+  (M=MakeStructuralEng),
+  ParadigmsEng,
+  ExtraEng,
+  IrregEng, 
+  LangEng,
+  ResEng,
+  QueryEng
+   in 
+{
+
+oper 
+-------------------------------------------------------------- 
+-- structural words and extra grammar constructs
+
+   about_Prep : Prep  = mkPrep "about" ;
+
+   all_NP : NP = SyntaxEng.mkNP (mkPN "all") ;
+
+   vpAP : VP -> AP = PartVP ;
+   
+   what_IQuant : IQuant = M.mkIQuant "what" "what" ;
+
+   massInfoSg : CN -> NP = \cn -> SyntaxEng.mkNP cn ;
+ 
+   massInfoPl : CN -> NP = \cn -> SyntaxEng.mkNP aPl_Det cn ;
+ 
+   PatsAdvVPSlash : VPSlash -> Adv -> VPSlash = LangEng.AdvVPSlash ;  
+
+   selectIP : NP -> IP = \np -> case np.a of 
+     {AgP3Sg _ => whatSg_IP ;
+      _        => whatPl_IP
+     };
+
+
+--------------------------------------------------------------
+-- kinds 
+
+   patent_number_CN : Kind = lin Kind  (mkCN (mkN "patent" (mkN "number"))) ;
+
+   claim_N : Kind = lin Kind (mkCN (mkN "claim")) ;
+
+ 
+--------------------------------------------------------------
+-- activities 
+
+   expire_V : Adv -> Activity = \pdate -> 
+        lin Activity (mkVP (mkVP (mkV "expire")) pdate) ;
+
+   simp_expire_V : Activity =  
+        lin Activity (mkVP (mkV "expire")) ;
+
+   apply_V : NP -> Activity = \pat ->  lin Activity ( mkVP (mkVP (mkV "apply" "applies" "applied" "applied" "applying")) (SyntaxEng.mkAdv for_Prep pat)) ;
+
+   compound_CN : Activity = let vp : VP = mkVP (mkCN (mkN "compound"))
+            in  lin Activity vp ;
+  
+   use_V2 : Set -> Activity = \s -> lin Activity (mkVP (passiveVP (mkV2 (mkV "use" "uses" "used" "used" "using"))) (SyntaxEng.mkAdv in_Prep s));
+
+   approve_V2 : Adv -> Activity = \pdate -> lin Activity (mkVP (passiveVP (mkV2 (mkV "approve" "approves" "approved" "approved" "approving"))) pdate) ;
+ 
+   mention_V2 : NP -> Activity = \drug -> 
+    lin Activity ( mkVP (mkVPSlash (mkV2 (mkV "mention" "mentions" "mentioned" "mentioned" "mentioning"))) drug) ;
+
+   contain_V2 : NP -> Activity  = \chem ->
+    lin Activity (mkVP (mkVPSlash (mkV2 (mkV "contain" "contains" "contained" "contained" "containing"))) chem) ;
+
+
+--------------------------------------------------------------
+-- properties 
+
+   approve_prop_V2 : Adv -> Property  = \pdate -> lin Property (vpAP (mkVP (passiveVP (mkV2 (mkV "approve" "approves" "approved" "approved" "approving"))) pdate)) ;
+
+   use_prop_V2 : Set -> Property = \s -> lin Property (vpAP (mkVP (passiveVP (mkV2 (mkV "use" "uses" "used" "used" "using"))) (SyntaxEng.mkAdv in_Prep s))) ;
+  
+  
+
+--------------------------------------------------------------
+-- relations  
+ 
+   active_ingredient_CN : Relation = makeRelation (mkCN (mkA "active")  (mkN "ingredient")) ;
+
+   dosage_form_CN : Relation = makeRelation (mkCN (mkN "dosage" (mkN "form"))) ;
+
+   route_of_administration_CN : Relation = makeRelation (mkCN (mkN "route") (SyntaxEng.mkAdv (mkPrep "of") (SyntaxEng.mkNP (mkN "administration")))) ;
+
+   patent_number_Rel : Relation  = makeRelation (mkCN (mkN "patent" (mkN "number"))) ;
+
+   patent_N : Relation = lin Relation {cn = mkCN (mkN "patent") ; prep = for_Prep } ;
+  
+   patent_with_N : Relation = lin Relation {cn = mkCN (mkN "patent"); prep = with_Prep} ;
+
+   expiration_date_CN : Relation  = makeRelation (mkCN (mkN "expiration" (mkN "date"))) ;
+
+   use_code_CN : Relation = makeRelation (SyntaxEng.mkCN (mkN "use" (mkN "code"))) ; 
+
+   application_number_CN : Relation  = makeRelation ((mkCN (mkN "application" (mkN  "number"))) | (mkCN (mkN ["patent application"] (mkN  "number")))) ;
+
+
+   application_number_no_CN : Relation  = lin Relation {cn = ((mkCN (mkN "application" (mkN  "number"))) | (mkCN (mkN ["patent application"] (mkN  "number")))); prep = noPrep} ;
+  
+   applicant_CN : Relation = lin Relation { cn = mkCN (mkN "applicant") ; prep = for_Prep } ;
+
+
+   applicant_no_CN : Relation = lin Relation {cn = mkCN (mkN "applicant"); prep = noPrep} ;
+
+   approval_date_CN : Relation = makeRelation (mkCN (mkN "approval" (mkN "date"))) ;
+
+
+   chemical_composition_CN : Relation = makeRelation (mkCN (mkA "chemical") (mkN "composition")) ;
+ 
+   chemical_substance_CN : Relation = lin Relation {cn = (mkCN (mkA "chemical") (mkN "substance")) ; prep = from_Prep | part_Prep } ;
+
+   drug_N : Relation = lin Relation {cn = mkCN (mkN "drug") ; prep = with_Prep} ;
+ 
+   use_N : Relation = makeRelation (mkCN (mkN "use")) ;  
+
+   method_N : Relation  = makeRelation (mkCN (mkN "method")) ;
+
+   drug_with_usage_form_CN : Relation = lin Relation {cn = mkCN (mkN "drug") ; prep = noPrep } ;
+
+   drug_preparation_CN : Relation = lin Relation {cn = mkCN (mkN "drug" (mkN "preparation")) ; prep = for_Prep} ; 
+  
+   strength_N : Relation  = makeRelation (mkCN (mkN "strength")) ;
+
+   name_N : Relation = makeRelation (mkCN (mkN "name")) ;
+
+   usage_form_CN = makeRelation (mkCN (mkN "usage" (mkN "form"))) ;
+
+----------------------------------------------------------------------------
+oper makeRelation : CN -> Relation =
+    \s -> lin Relation {cn = s ; prep = possess_Prep} ;
+
+
+}
\ No newline at end of file
diff --git a/examples/query/small/patentsQuery/QueryPats.gf b/examples/query/small/patentsQuery/QueryPats.gf
new file mode 100644
index 000000000..b66950d20
--- /dev/null
+++ b/examples/query/small/patentsQuery/QueryPats.gf
@@ -0,0 +1,194 @@
+--# -path=.:..:alltenses
+
+abstract QueryPats = Query ** open Syntax in {
+-------------------------------------------------------------------------------------
+-- additions to the general Query grammar
+
+
+fun 
+ 
+ SThe : Kind -> Set ; -- the route of administration
+
+ SMassSg : Kind -> Set ; -- route of administration 
+
+ QWho : Activity -> Query ; -- who applied for the patent ? 
+ 
+-- QWhen : Set -> Activity -> Query ; -- when was the patent approved ? 
+
+ QMass : Set -> Query ; -- expiration date of the patent
+ 
+ QExist : Kind -> Query ; -- what dosage forms of DRUG are there ? 
+  -- maybe merge with QSet
+
+ 
+
+
+-------------------------------------------------------------------------------------
+-- categories and example functions for the Patent Query grammar
+
+cat 
+  Drug ; 
+  Patent ; 
+  ChemicalSubstance ;
+  DrugUsageForm ;
+  PatentNumber ;
+  Applicant ;
+  ApplicationNumber ;
+  PatsDate ;
+  SimpDate ;
+
+--------------------------------------------------------------------------------
+-- simple coercions
+
+fun DrugToSet : Drug -> Set ; 
+fun PatentToSet : Patent -> Set ;
+fun ChemToSet : ChemicalSubstance -> Set ;
+fun UsageToSet : DrugUsageForm -> Set ;
+fun PatNumToSet : PatentNumber -> Set ; 
+fun AppToSet : Applicant -> Set ;
+fun AppNumToSet : ApplicationNumber -> Set ;
+--fun DateToSet : PatsDate -> Set ;
+
+
+fun 
+  OnDate : SimpDate ->  PatsDate ;
+  BeforeDate : SimpDate -> PatsDate ;
+  AfterDate : SimpDate ->  PatsDate ;
+  FromSimpDate : SimpDate -> PatsDate ; 
+
+
+-------------------------------------------------------------------------------------
+-- main functions for the Patents Query grammar 
+
+fun 
+
+  PQInfo : Drug -> Query ; -- what information do you have about DRUG | give me all information about DRUG ...
+
+  PQActive : Drug -> Query ; -- what active ingredients are in DRUG
+
+  PQDosage : Drug -> Query ; -- what are the dosage forms of DRUG
+
+  PQRoute : Drug -> Query ; -- what is the route of administration of DRUG
+
+  PQPatentNo : Query ; -- give me all the patent numbers
+  
+  PQPatentDrug : Drug -> Query ; -- give me the patent number of DRUG
+  
+  PQPatentPat : Patent -> Query ; -- give me the patent number for PATENT
+
+  PQExpPat : Patent -> Query ; -- when does PATENT expire
+   
+  PQExpDrug : Drug -> Query ;  -- when does the patent for DRUG expire
+   
+  PQUseCode : Patent -> Query ; -- what is the use code of PATENT
+   
+  PQAppNumber : Patent -> Query ; -- what is the application number for PATENT
+  
+  PQApplicant : Patent -> Query ; -- who applied for PATENT
+
+  PQAppDayDrug : Drug -> Query ; -- what is the approval date of the patent for DRUG
+  
+  PQAppDayPat : Patent -> Query ; -- what is the approval date of PATENT
+   
+  PQAppDayPatApp : Patent -> Applicant -> Query ; -- what is the approval date of PATENT with APPLICANT
+
+  PQAppDayNo : ApplicationNumber -> Query ; -- what is the approval date for the patent with APPLICATION_NUMBER
+ 
+  PQChemComp : Drug -> Query ;  -- what is the chemical composition of DRUG
+
+  PQCompounds : Query ; -- what are the drugs that are compounds
+
+  PQPrep : Query ; -- what drug preparations are there  
+
+  PQDrugPrep : Drug -> Query ; -- the drug preparation for DRUG
+
+  PQPrepDate : Drug -> PatsDate -> Query ; -- the drug preparation for DRUG with a patent that expires after DATE
+
+  PQName : Drug -> Query ; -- the name of DRUG
+ 
+  PQNameDate : Drug -> PatsDate -> Query ;  -- the name of drug with approval date DATE
+
+  PQNameApp : Applicant -> Query ; -- the name of drug with a patent from applicant APPLICANT
+
+  PQMethods : Patent -> Query ; -- what methods are used for PATENT
+
+  PQDateMeth : PatsDate -> Query ;  -- what methods are used in patents with approval date before DATE 
+
+  PQMethNo : PatentNumber -> Query ; -- what methods are used in the patent with patent number PATENT_NUMBER
+
+  PQUse : Patent -> Query ; -- what is the use of PATENT
+
+  PQUseDate : PatsDate -> Query ; -- what is the use of PATENT approved before DATE
+
+  PQUseExp : Patent -> PatsDate -> Query ; -- what is the use of PATENT that expires on DATE 
+  
+  PQDateUse : PatsDate -> Query ; -- give me all patents approved on DATE
+
+  PQUseDrug : Drug -> Query ; -- what is the use of DRUG
+
+  PQUseChem : ChemicalSubstance -> Query ; -- what is the use of drugs that contain CHEMICAL_SUBSTANCE 
+
+  PQUseForm : DrugUsageForm -> Query ; -- what is the use of drugs with usage form DRUG_USAGE_FORM   
+
+  PQStrength : Drug -> Query ; -- what is the strength of DRUG
+
+  PQStrengthChem : ChemicalSubstance -> Query ; -- what is the strenght of drugs that contain CHEMICAL_SUBSTANCE
+
+  PQClaims  : Drug -> Query ; -- what are the claims that mention DRUG 
+
+
+
+fun 
+---------------------
+  Aspirin : Drug ;
+---------------------
+-- put all other drug names here !
+
+
+---------------------
+  Pats1230 : Patent ; 
+---------------------
+-- put all other patent names here !
+
+
+---------------------
+  Hydrogen : ChemicalSubstance ;
+---------------------
+-- put all chemical substances here !
+
+
+--------------------
+  Inhalation : DrugUsageForm ;
+--------------------
+-- put all drug usage forms here !
+
+
+
+-------------------
+  P123 : PatentNumber ;
+-------------------
+-- put all patent numbers here !
+
+
+
+-------------------
+  JohnDoe : Applicant ;
+-------------------
+-- put all applicants here !
+
+
+
+-------------------
+   A123 : ApplicationNumber ;
+------------------
+-- put all application numbers here
+
+
+-------------------
+   Today : PatsDate ;
+   A20June : SimpDate ; 
+-------------------
+-- put all dates here (maybe use Date grammar instead)
+
+
+}
\ No newline at end of file
diff --git a/examples/query/small/patentsQuery/QueryPatsEng.gf b/examples/query/small/patentsQuery/QueryPatsEng.gf
new file mode 100644
index 000000000..f3800d9fd
--- /dev/null
+++ b/examples/query/small/patentsQuery/QueryPatsEng.gf
@@ -0,0 +1,387 @@
+--# -path=.:..:alltenses
+
+concrete QueryPatsEng of QueryPats = QueryEng ** open
+    LexQueryPatsEng,
+    ParadigmsEng,
+    IrregEng,
+    SyntaxEng,
+    ExtraEng,
+    (L=LangEng),
+    (M=MakeStructuralEng),
+    Prelude
+in {
+
+
+--------------------------------------------------------
+-- additions to the original query grammar 
+
+lin
+
+ SThe k = SyntaxEng.mkNP the_Det k ; 
+
+ SMassSg k = SyntaxEng.mkNP k ;  
+
+ QWho a = mkUtt (mkQCl whoSg_IP a) ; 
+ 
+-- QWhen : Set -> Activity -> Query ;  
+
+ QMass s = mkUtt s ; 
+
+ QExist s =  mkUtt (L.ExistIP (L.IdetCN (L.IdetQuant what_IQuant L.NumPl) s))
+              | mkUtt (mkNP all_NP (SyntaxEng.mkAdv about_Prep (mkNP s))) ;
+
+
+---------------------------------------------------------
+-- from the patent query grammar 
+
+lincat 
+  Drug = NP ;
+  Patent = NP ; 
+  ChemicalSubstance = NP ;
+  DrugUsageForm = NP ;
+  PatentNumber = NP ;
+  Applicant = NP ;
+  ApplicationNumber = NP ;
+  PatsDate = Adv ;  
+  SimpDate = Adv ; 
+
+
+lin
+PQInfo drug = QInfo (DrugToSet drug) ;  
+     
+PQActive drug = 
+      let ai : Kind = KRelSet active_ingredient_CN (DrugToSet drug) 
+   in 
+    basicPlur ai  ;
+ 
+
+PQDosage drug = 
+       let df : Kind = KRelSet dosage_form_CN (DrugToSet drug)          
+   in 
+    basicBoth df | QExist df ;
+   
+
+PQRoute drug = 
+      let df : Kind = KRelSet route_of_administration_CN (DrugToSet drug)  
+   in 
+    basicBoth df | QExist df ;
+
+
+PQPatentNo =  
+      let bu : Query = basicPlur patent_number_CN 
+        in 
+  bu | QExist patent_number_CN ;
+    
+
+PQPatentDrug drug = 
+        let df : Kind = KRelSet patent_number_Rel (DrugToSet drug)  
+  in 
+    basicSing df ;
+
+
+
+PQPatentPat  patent = 
+       let ai : Kind = KRelSet patent_number_Rel (PatentToSet patent) 
+   in 
+    basicSing ai ;
+
+
+PQExpPat patent = 
+       let 
+          ai : Kind = KRelSet expiration_date_CN (PatentToSet patent) ;
+          bu : Query = basicSing ai 
+   in 
+    bu ; 
+  -- KAct when_IAdv (mkCl patent (mkVP expire_V))) ;
+
+
+PQExpDrug drug = 
+      let 
+          ai : Kind = KRelSet expiration_date_CN (SThe (KRelSet patent_N (DrugToSet drug))) 
+   in 
+  basicSing ai ;
+--   | mkUtt (mkQCl when_IAdv (mkCl (mkNP the_Art ai) (mkVP expire_V)));
+
+
+PQUseCode patent = 
+       let df : Kind = KRelSet use_code_CN (PatentToSet patent) 
+  in 
+   basicBoth df  ;
+
+
+PQAppNumber patent = 
+     let df : Kind = KRelSet application_number_CN (PatentToSet patent) 
+  in 
+  basicSing df  ;
+
+
+PQApplicant patent = 
+    let df : Kind = KRelSet applicant_CN (PatentToSet patent) ;
+         bu : Query = basicSing df 
+   in 
+   bu ;
+--   | mkUtt (mkQS (mkQCl whoSg_IP (mkVP (mkVP apply_V) (SyntaxEng.mkAdv for_Prep patent)))) 
+--   | mkUtt (mkQS pastTense (mkQCl whoSg_IP (mkVP (mkVP apply_V) (SyntaxEng.mkAdv for_Prep patent))));
+
+
+PQAppDayDrug drug =
+    let df : Kind = KRelSet approval_date_CN (SThe (KRelSet patent_N (DrugToSet drug)))
+    in 
+     basicSing df  ; 
+
+ 
+PQAppDayPat patent =
+    let df : Kind = KRelSet approval_date_CN (PatentToSet patent) 
+    in
+     basicSing df  ;
+ 
+
+PQAppDayPatApp patent applicant =
+       let df : Kind = KRelSet approval_date_CN (SThe (KRelSet patent_with_N (SThe (KRelSet applicant_CN (AppToSet applicant))))) 
+        in 
+        basicSing df  ;
+
+
+PQAppDayNo appno = 
+     let df : Kind = KRelSet approval_date_CN (SThe (KRelSet  patent_with_N (SThe (KRelSet application_number_CN (AppNumToSet appno))))) 
+   in 
+     basicSing df ;
+
+ 
+PQChemComp drug = 
+     let 
+         df : Kind = KRelSet chemical_substance_CN (DrugToSet drug) ;
+         cc : Kind = KRelSet chemical_composition_CN (DrugToSet drug)         
+   in 
+    basicPlur df | basicSing cc ; 
+
+
+PQCompounds  =
+       let cc : Kind = KAct compound_CN (KRel drug_N)          
+        in 
+          basicPlur cc  ;
+
+
+PQPrep = 
+     basicPlur (KRel drug_preparation_CN)
+   | QExist (KRel drug_preparation_CN) ;
+
+
+PQDrugPrep drug = 
+        let df : Kind = KRelSet drug_preparation_CN (DrugToSet drug) 
+  in 
+      basicSing df ;
+
+-----
+
+PQName drug = 
+    let 
+         df : CN = KRelSet name_N (DrugToSet drug) 
+   in 
+     basicSing df ;
+
+
+PQNameApp applicant = 
+        let   pt2 : Set = SIndef (KRelSet  patent_with_N (SThe (KRelSet applicant_CN applicant))) ;
+              df : Kind = KRelSet drug_N pt2 
+   in 
+     basicSing df ; 
+
+----
+ 
+PQMethods patent = 
+        let  pt1 : Kind = KProp (use_prop_V2 (PatentToSet patent)) (KRel method_N) ;
+             pt2 : Kind = KRelSet method_N (PatentToSet patent) ;
+             pt : Kind = pt1 | pt2               
+   in 
+    basicPlur pt ; 
+
+
+PQDateMeth date  =  
+       let pdate : Set = SAll (KAct (expire_V date) (KRel patent_N)) ;
+            pt1 : Kind = KAct  (use_V2 pdate) (KRel method_N) ;
+            pt2 : Kind = KProp (use_prop_V2 pdate) (KRel method_N) ;
+            pt3 : Kind = KRelSet method_N pdate ;
+             pt : Kind = pt1 | pt2 | pt3              
+   in 
+    basicPlur pt ;
+
+ 
+PQMethNo appno = 
+        let pdate : Set = SThe (KRelSet patent_with_N (SThe (KRelSet application_number_no_CN appno))) ;
+           pt1 : Kind = KProp (use_prop_V2 (SThe (KRel patent_N))) (KRel method_N) ;
+           pt2 : Kind = KRelSet method_N (SThe (KRel patent_N)) ;
+           pt : Kind = pt1 | pt2               
+   in 
+     basicPlur pt ;
+
+----
+
+PQUse patent =   
+   let df : Kind = KRelSet use_N (PatentToSet patent) 
+  in 
+    basicSing df ;   
+
+
+PQUseDate date = 
+       let pdate : Set =  SThe (KAct (approve_V2 date) (KRel patent_N))  ;
+           pt : Kind = KRelSet use_N pdate              
+   in 
+     basicSing pt ;
+
+PQDateUse date =
+      let  patent : Kind = KRel patent_N ;
+           pdate : Set = SAll (KProp (approve_prop_V2 date) patent) ;
+           pt : Kind = KRelSet use_N pdate 
+              
+   in 
+     basicPlur pt ;
+
+
+PQUseDrug drug = 
+    let df : Kind = KRelSet use_N (DrugToSet drug) 
+   in 
+      basicSing df  ;
+
+
+PQUseChem chem = 
+   let  drug : Kind = KAct (contain_V2 chem) (KRel drug_N) ;
+        drugs : Set = SAll drug ;
+        df : Kind = KRelSet use_N drugs         
+   in 
+     basicSing df  ;    
+
+
+PQUseForm uform = 
+   let  drug : Kind = KRelSet usage_form_CN (UsageToSet uform) ;
+        drugs : Set = SAll drug ;
+        df : Kind = KRelSet use_N drugs 
+   in 
+      basicSing df  ;
+
+---
+
+PQStrength drug =
+    let df : Kind = KRelSet strength_N (DrugToSet drug) 
+   in 
+      basicSing df  ;
+      
+
+PQStrengthChem chem = 
+   let  drug : Kind = KAct (contain_V2 chem) (KRel drug_N) ;
+        drugs : Set = SAll drug ;
+        df : Kind = KRelSet strength_N (DrugToSet drugs) 
+  in 
+     basicSing df  ; 
+
+---
+
+PQClaims  drug = 
+       let cc : Kind =  KAct (mention_V2 drug) (mkCN claim_N) 
+            in 
+       basicPlur cc ;
+
+
+
+--------------------------------------------------------------------------------
+ oper basicSing : CN -> Utt =
+    \df -> 
+       let  sg_df : NP = SThe df ;
+            massdf : NP = SMassSg df 
+     in 
+      QSet sg_df
+   | QMass massdf
+   | QMass sg_df ;
+   
+
+oper basicPlur : CN -> Utt = 
+    \df -> 
+       let  sg_df : NP = SAll df ;
+            massdf : NP = SPlural df
+     in 
+      QInfo sg_df
+   | QMass massdf
+   | QMass sg_df ;
+   
+
+oper basicBoth : CN -> Utt = 
+  \df ->
+     let sg_df : NP = SThe df ;
+          the_df : NP = SAll df ; 
+          mass_sg_df : NP = SMassSg df ;
+          mass_pl_df : NP = SPlural df
+   in
+     QInfo the_df 
+   | QInfo sg_df
+   | QMass mass_sg_df
+   | QMass sg_df
+   | QMass mass_pl_df
+   | QMass the_df ;
+
+--------------------------------------------------------------------------
+-- coercions
+
+lin DrugToSet d = d ; 
+lin PatentToSet d = d ;
+lin ChemToSet d = d ;
+lin UsageToSet d = d ;
+lin PatNumToSet d = d ; 
+lin AppToSet d = d ;
+lin AppNumToSet d = d ;
+--lin DateToSet : PatsDate -> Set ;
+
+
+
+ OnDate d = mkPatsDate on_Prep ;
+ BeforeDate d = mkPatsDate before_Prep ;
+ AfterDate d = mkPatsDate after_Prep ;
+
+ oper mkPatsDate : Prep -> Adv = \prep -> SyntaxEng.mkAdv prep (mkNP (mkPN "DATE")) ;
+
+
+
+
+-- lexicon
+
+oper mkDrug : Str -> NP = 
+    \p -> SyntaxEng.mkNP  (mkPN p) ;
+
+oper mkPatents : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper mkChemicalSubstance : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper mkDrugUsageForm : Str -> NP =
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper  mkPatentNumber : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper  mkApplicant : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p) ;
+
+oper  mkApplicationNumber : Str -> NP = 
+   \p -> SyntaxEng.mkNP (mkPN p);
+
+
+
+
+lin
+
+Aspirin = mkDrug "DRUG" ;
+
+Pats1230 = mkPatents "PATENT" ;
+
+Hydrogen = mkChemicalSubstance "CHEMICAL_SUBSTANCE" ;
+
+Inhalation = mkDrugUsageForm "DRUG_USAGE_FORM" ;
+
+P123 = mkPatentNumber "PATENT_NUMBER" ;
+
+JohnDoe = mkApplicant "APPLICANT" ;
+
+A123 = mkApplicationNumber "APPLICATION_NUMBER" ;
+
+
+}
\ No newline at end of file