From f871c3cd42c749459a450589bcdb8da75e0e357f Mon Sep 17 00:00:00 2001 From: "ramona.enache" Date: Mon, 25 Jun 2012 10:34:55 +0000 Subject: [PATCH] cleaned up the patents query grammar --- .../small/new_patentsQuery/LexQueryPats.gf | 111 ----- .../small/new_patentsQuery/LexQueryPatsEng.gf | 136 ------ .../query/small/new_patentsQuery/QueryPats.gf | 194 --------- .../small/new_patentsQuery/QueryPatsEng.gf | 387 ------------------ 4 files changed, 828 deletions(-) delete mode 100644 examples/query/small/new_patentsQuery/LexQueryPats.gf delete mode 100644 examples/query/small/new_patentsQuery/LexQueryPatsEng.gf delete mode 100644 examples/query/small/new_patentsQuery/QueryPats.gf delete mode 100644 examples/query/small/new_patentsQuery/QueryPatsEng.gf diff --git a/examples/query/small/new_patentsQuery/LexQueryPats.gf b/examples/query/small/new_patentsQuery/LexQueryPats.gf deleted file mode 100644 index 466e924c3..000000000 --- a/examples/query/small/new_patentsQuery/LexQueryPats.gf +++ /dev/null @@ -1,111 +0,0 @@ -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 deleted file mode 100644 index 09206388e..000000000 --- a/examples/query/small/new_patentsQuery/LexQueryPatsEng.gf +++ /dev/null @@ -1,136 +0,0 @@ -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 deleted file mode 100644 index b66950d20..000000000 --- a/examples/query/small/new_patentsQuery/QueryPats.gf +++ /dev/null @@ -1,194 +0,0 @@ ---# -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 deleted file mode 100644 index f3800d9fd..000000000 --- a/examples/query/small/new_patentsQuery/QueryPatsEng.gf +++ /dev/null @@ -1,387 +0,0 @@ ---# -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