blob: 78489449d93820eb965887f395de1e9248fad78e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
|
--# -path=.:..:alltenses
concrete QueryPatEng of QueryPat = QueryEng ** open
SyntaxEng,
LexPatsQueryEng,
LangEng,
ParadigmsEng
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 ;
---------------------------------------------------------
-- 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) (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 ;
--------------------------------------------------------------------------------
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) (SyntaxEng.mkAdv about_Prep drug))))
| mkUtt (mkQCl (mkIP (mkIDet what_IQuant) information_N) (mkClSlash (mkNP i_Pron) (SlashVV can_VV (PatsAdvVPSlash (mkVPSlash get_V2) (SyntaxEng.mkAdv about_Prep drug)))))
| mkUtt (mkNP all_Predet (massInfoSg (mkCN (mkCN information_N) (SyntaxEng.mkAdv about_Prep drug))))
| mkUtt (mkNP all_NP (SyntaxEng.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 -> SyntaxEng.mkAdv prep (mkNP (mkPN "DATE")) ;
}
|
