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
|
instance LexQueryPatsFre of LexQueryPats = open
SyntaxFre,
ParadigmsFre,
ExtraFre,
IrregFre,
DiffFre,
StructuralFre,
(CR=CommonRomance),
ParamX,
QueryFre,
Prelude
in
{
oper
--------------------------------------------------------------
-- structural words and extra grammar constructs
about_Prep : Prep = mkPreposition ["à propos de"] ;
all_NP : NP = mkNP (mkPN "tout") ;
vpAP : VP -> AP = variants {} ;
what_IQuant : IQuant = which_IQuant ;
massInfoSg : CN -> NP = \cn ->
let g = cn.g ;
n = Sg
in lin NP {
s = \\c => {comp,ton = cn.s ! n ; c1,c2 = []} ;
a = CR.agrP3 g n ;
hasClit = False ;
isPol = False
} ;
massInfoPl : CN -> NP = \cn -> SyntaxFre.mkNP aPl_Det cn ;
PatsAdvVPSlash : VPSlash -> Adv -> VPSlash = \vp, adv -> lin VPSlash
{
s = vp.s ;
agr = vp.agr ;
clit1 = vp.clit1 ;
clit2 = vp.clit2 ;
clit3 = vp.clit3 ;
neg = vp.neg ;
comp = \\a => vp.comp ! a ++ adv.s ;
ext = vp.ext ;
c2 = vp.c2 ;
} ;
selectIP : NP -> IP = \np -> case np.a.n of
{Sg => whatSg_IP ;
_ => whatPl_IP
};
--------------------------------------------------------------
-- kinds
patent_number_CN : Kind =
let pn : CN = mkCN (mkCN (mkN "numéro")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "brevet")))
in lin Kind pn ;
claim_N : Kind = lin Kind (mkCN (mkN "revendication")) ;
--------------------------------------------------------------
-- activities
expire_V : Adv -> Activity = \pdate ->
lin Activity (mkVP (mkVP (mkV "expire")) pdate) ;
simp_expire_V : Activity =
lin Activity (mkVP (regV "expirer")) ;
apply_V : NP -> Activity = \pat -> lin Activity ( mkVP (mkVP (regV "appliquer")) (SyntaxFre.mkAdv for_Prep pat)) ;
compound_CN : Activity = let vp : VP = mkVP (mkCN (mkN "composé"))
in lin Activity vp ;
use_V2 : Set -> Activity = \s -> lin Activity (mkVP (passiveVP (dirV2 (regV "utiliser"))) (SyntaxFre.mkAdv in_Prep s));
approve_V2 : Adv -> Activity = \pdate -> lin Activity (mkVP (passiveVP (dirV2 (regV "approuver"))) pdate) ;
mention_V2 : NP -> Activity = \drug ->
lin Activity ( mkVP (mkVPSlash (dirV2 (regV "mentionner"))) drug) ;
contain_V2 : NP -> Activity = \chem ->
lin Activity (mkVP (mkVPSlash IrregFre.contenir_V2) chem) ;
--------------------------------------------------------------
-- properties
approve_prop_V2 : Adv -> Property = \pdate -> lin Property (vpAP (mkVP (passiveVP (dirV2 (regV "approuver"))) pdate)) ;
use_prop_V2 : Set -> Property = \s -> lin Property (vpAP (mkVP (passiveVP (dirV2 (regV "utiliser"))) (SyntaxFre.mkAdv in_Prep s))) ;
--------------------------------------------------------------
-- relations
active_ingredient_CN : Relation = makeRelation (mkCN (mkA "actif") (mkN "ingrédient")) ;
dosage_form_CN : Relation = makeRelation (mkCN (mkA "posologique") (mkN "forme")) ;
route_of_administration_CN : Relation = makeRelation (mkCN (mkCN (mkN "voie")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "administration")))) ;
patent_number_Rel : Relation = makeRelation (mkCN (mkCN (mkN "numéro")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "brevet")))) ;
patent_N : Relation = lin Relation {cn = mkCN (mkN "brevet") ; prep = for_Prep } ;
patent_with_N : Relation = lin Relation {cn = mkCN (mkN "brevet"); prep = with_Prep} ;
expiration_date_CN : Relation = makeRelation (mkCN (mkCN (mkN "date")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "expiration")))) ;
use_code_CN : Relation = makeRelation (mkCN (mkCN (mkN "code")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "utilisation")))) ;
application_number_CN : Relation = makeRelation (mkCN (mkCN (mkN "numéro")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "demande")))) ;
application_number_no_CN : Relation = lin Relation {cn = (mkCN (mkCN (mkN "numéro")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "demande")))); prep = mkPrep ""} ;
applicant_CN : Relation = lin Relation { cn = mkCN (mkN "demandeur") ; prep = for_Prep } ;
applicant_no_CN : Relation = lin Relation {cn = mkCN (mkN "demandeur"); prep = mkPrep ""} ;
approval_date_CN : Relation = makeRelation (mkCN (mkCN (mkN "date")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "approbation")))) ;
chemical_composition_CN : Relation = makeRelation (mkCN (mkA "chemique") (mkN "composition")) ;
chemical_substance_CN : Relation = lin Relation {cn = (mkCN (mkA "chimique") (mkN "substance")) ; prep = from_Prep | part_Prep } ;
drug_N : Relation = lin Relation {cn = mkCN (mkN "médicament") ; prep = with_Prep} ;
use_N : Relation = makeRelation (mkCN (mkN "utilisation")) ;
method_N : Relation = makeRelation (mkCN (mkN "méthode")) ;
drug_with_usage_form_CN : Relation = lin Relation {cn = mkCN (mkN "médicament") ; prep = mkPrep "" } ;
drug_preparation_CN : Relation = lin Relation {cn = mkCN (mkN "préparation") ; prep = for_Prep} ;
strength_N : Relation = makeRelation (mkCN (mkN "dosage")) ;
name_N : Relation = makeRelation (mkCN (mkN "nom")) ;
usage_form_CN = makeRelation ( mkCN (mkCN (mkN "formulaire")) (SyntaxFre.mkAdv possess_Prep (mkNP (mkN "utilisation")))) ;
----------------------------------------------------------------------------
oper makeRelation : CN -> Relation =
\s -> lin Relation {cn = s ; prep = possess_Prep} ;
}
|
