blob: ac8fc78d24e50a0660d3fc877c88498b1f14b9e7 (
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
|
--# -path=.:..:alltenses
concrete QueryPatEng of QueryPat = QueryPatI with
(Syntax = SyntaxEng),
(Lang = LangEng),
(LexPatsQuery = LexPatsQueryEng) **
open
LexPatsQueryEng,
ParadigmsEng,
IrregEng,
SyntaxEng,
ExtraEng,
(L = LangEng),
(M = MakeStructuralEng),
Prelude,
QueryEng
in {
-- 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 -> Syntax.mkAdv prep (mkNP (mkPN "DATE")) ;
}
|
