QueryFre instances, don't compile yet because of type discrepancies

1 files changed, 254 insertions, 0 deletions

diff --git a/examples/query/small/patentsQuery/QueryPatFre.gf b/examples/query/small/patentsQuery/QueryPatFre.gf
new file mode 100644
index 000000000..3196f7809
--- /dev/null
+++ b/examples/query/small/patentsQuery/QueryPatFre.gf
@@ -0,0 +1,254 @@
+--# -path=.:alltenses
+
+concrete QueryPatFre of QueryPat = QueryFre ** open
+  SyntaxFre,
+  LexPatsQueryFre,
+  LangFre,
+  ParadigmsFre
+in {
+
+
+--------------------------------------------------------
+-- additions to the original query grammar 
+
+lin
+
+ SThe k = SyntaxFre.mkNP the_Det k ; 
+
+ SMassSg k = SyntaxFre.mkNP k ;  
+
+ QWho a = mkUtt (mkQCl whoSg_IP a) ; 
+ 
+-- QWhen : Set -> Activity -> Query ;  
+
+ QMass s = mkUtt s ; 
+
+
+---------------------------------------------------------
+-- from the patent query grammar 
+
+lincat 
+  Drug = NP ;
+  Patent = NP ; 
+  ChemicalSubstance = NP ;
+  DrugUsageForm = NP ;
+  PatentNumber = NP ;
+  Applicant = NP ;
+  ApplicationNumber = NP ;
+  PatsDate = 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 ;
+ --  | mkUtt (ExistIP (IdetCN (IdetQuant what_IQuant NumPl) df)) ;
+   
+
+PQRoute drug = 
+      let 
+          df : Kind = KRelSet route_of_administration_CN (DrugToSet drug)  
+   in 
+   basicBoth df ;
+--   | mkUtt (ExistIP (IdetCN (IdetQuant what_IQuant NumPl) df)) ;
+
+
+PQPatentNo =  
+      let bu : Query = basicPlur patent_number_CN 
+        in 
+  bu ;
+--  | mkUtt (ExistIP (IdetCN (IdetQuant what_IQuant NumPl) 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 ;
+--   | mkUtt (mkQCl when_IAdv (mkCl patent (mkVP expire_V))) ;
+
+
+PQExpDrug drug = 
+      let 
+          ai : Kind = KRelSet expiration_date_CN (SThe (KRelSet patent_N (DrugToSet drug))) ;
+          bu : Query = basicSing ai 
+   in 
+  bu ;
+--   | 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) (SyntaxFre.mkAdv for_Prep patent)))) 
+--   | mkUtt (mkQS pastTense (mkQCl whoSg_IP (mkVP (mkVP apply_V) (SyntaxFre.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  ;
+ 
+
+--------------------------------------------------------------------------------
+ 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 ;
+ 
+
+{- use later as more options for QInfo
+
+ | mkUtt (mkQCl (mkIP (mkIDet what_IQuant) information_N) (mkClSlash (mkNP youPl_Pron) (PatsAdvVPSlash (mkVPSlash have_V2) (SyntaxFre.mkAdv about_Prep drug))))    
+  | mkUtt (mkQCl (mkIP (mkIDet what_IQuant) information_N) (mkClSlash (mkNP i_Pron) (SlashVV can_VV (PatsAdvVPSlash (mkVPSlash get_V2) (SyntaxFre.mkAdv about_Prep drug))))) 
+  | mkUtt (mkNP all_Predet (massInfoSg (mkCN (mkCN information_N) (SyntaxFre.mkAdv about_Prep drug)))) 
+  | mkUtt (mkNP all_NP (SyntaxFre.mkAdv about_Prep drug))       
+  |  mkUtt  drug ;
+-} 
+
+--------------------------------------------------------------------------
+-- 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 ;
+
+
+
+--------------------------------------------------------------------------
+-- lexicon
+
+oper mkDrug : Str -> NP = 
+    \p -> mkNP  (mkPN p) ;
+
+oper mkPatents : Str -> NP = 
+   \p -> mkNP (mkPN p) ;
+
+oper mkChemicalSubstance : Str -> NP = 
+   \p -> mkNP (mkPN p) ;
+
+oper mkDrugUsageForm : Str -> NP =
+   \p -> mkNP (mkPN p) ;
+
+oper  mkPatentNumber : Str -> NP = 
+   \p -> mkNP (mkPN p) ;
+
+oper  mkApplicant : Str -> NP = 
+   \p -> mkNP (mkPN p) ;
+
+oper  mkApplicationNumber : Str -> NP = 
+   \p -> 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" ;
+
+
+ OnDate = mkPatsDate on_Prep ;
+ BeforeDate  = mkPatsDate before_Prep ;
+ AfterDate = mkPatsDate after_Prep ;
+
+oper mkPatsDate : Prep -> Adv = \prep -> SyntaxFre.mkAdv prep (mkNP (mkPN "DATE")) ;
+
+
+
+}
+