diff options
author | 2019-01-16 01:41:23 -0500 | |
---|---|---|
committer | 2020-06-07 19:06:27 -0400 | |
commit | 07073f142e982a1b9fb08255c8eb74d18dbf7a34 (patch) | |
tree | c9c4220ab68a21ef7652a5aef2f76146f00f9fb0 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem | |
parent | Initial workspace setup (diff) | |
download | VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.gz VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.tar.zst VIATRA-Generator-07073f142e982a1b9fb08255c8eb74d18dbf7a34.zip |
FAM MM transformation works
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem | 998 |
1 files changed, 998 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem new file mode 100644 index 00000000..6c5f1457 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem | |||
@@ -0,0 +1,998 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> | ||
3 | <types xsi:type="language_1:TypeDeclaration" name="Patient class"/> | ||
4 | <types xsi:type="language_1:TypeDeclaration" name="HealthSystem class" subtypes="//@types.14 //@types.15" isAbstract="true"/> | ||
5 | <types xsi:type="language_1:TypeDeclaration" name="Examination class"/> | ||
6 | <types xsi:type="language_1:TypeDeclaration" name="Symptom class"/> | ||
7 | <types xsi:type="language_1:TypeDeclaration" name="ExaminationResult class"/> | ||
8 | <types xsi:type="language_1:TypeDeclaration" name="MedicalRecord class"/> | ||
9 | <types xsi:type="language_1:TypeDeclaration" name="HealthProblem class" subtypes="//@types.11 //@types.12 //@types.13" isAbstract="true"/> | ||
10 | <types xsi:type="language_1:TypeDeclaration" name="Medicine class"/> | ||
11 | <types xsi:type="language_1:TypeDeclaration" name="Treatment class" subtypes="//@types.9 //@types.10" isAbstract="true"/> | ||
12 | <types xsi:type="language_1:TypeDeclaration" name="Medication class" supertypes="//@types.8"/> | ||
13 | <types xsi:type="language_1:TypeDeclaration" name="Immunization class" supertypes="//@types.8"/> | ||
14 | <types xsi:type="language_1:TypeDeclaration" name="Allergy class" supertypes="//@types.6"/> | ||
15 | <types xsi:type="language_1:TypeDeclaration" name="Disease class" supertypes="//@types.6"/> | ||
16 | <types xsi:type="language_1:TypeDeclaration" name="Injury class" supertypes="//@types.6"/> | ||
17 | <types xsi:type="language_1:TypeDefinition" name="HealthSystem class DefinedPart" supertypes="//@types.1" elements="//@elements.0"/> | ||
18 | <types xsi:type="language_1:TypeDeclaration" name="HealthSystem class UndefinedPart" supertypes="//@types.1"/> | ||
19 | <assertions name="upperMultiplicity healthsystem Patient" annotations="//@annotations.0"> | ||
20 | <value xsi:type="language_1:Forall"> | ||
21 | <quantifiedVariables name="src"> | ||
22 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
23 | </quantifiedVariables> | ||
24 | <quantifiedVariables name="trg 1"> | ||
25 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
26 | </quantifiedVariables> | ||
27 | <quantifiedVariables name="trg 2"> | ||
28 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
29 | </quantifiedVariables> | ||
30 | <expression xsi:type="language_1:Impl"> | ||
31 | <leftOperand xsi:type="language_1:And"> | ||
32 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
33 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
34 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | ||
35 | </operands> | ||
36 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
37 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
38 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | ||
39 | </operands> | ||
40 | </leftOperand> | ||
41 | <rightOperand xsi:type="language_1:Not"> | ||
42 | <operand xsi:type="language_1:Distinct"> | ||
43 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | ||
44 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | ||
45 | </operand> | ||
46 | </rightOperand> | ||
47 | </expression> | ||
48 | </value> | ||
49 | </assertions> | ||
50 | <assertions name="upperMultiplicity examination HealthSystem" annotations="//@annotations.1"> | ||
51 | <value xsi:type="language_1:Forall"> | ||
52 | <quantifiedVariables name="src"> | ||
53 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
54 | </quantifiedVariables> | ||
55 | <quantifiedVariables name="trg 1"> | ||
56 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
57 | </quantifiedVariables> | ||
58 | <quantifiedVariables name="trg 2"> | ||
59 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
60 | </quantifiedVariables> | ||
61 | <expression xsi:type="language_1:Impl"> | ||
62 | <leftOperand xsi:type="language_1:And"> | ||
63 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
64 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
65 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
66 | </operands> | ||
67 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
68 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
69 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | ||
70 | </operands> | ||
71 | </leftOperand> | ||
72 | <rightOperand xsi:type="language_1:Not"> | ||
73 | <operand xsi:type="language_1:Distinct"> | ||
74 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
75 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | ||
76 | </operand> | ||
77 | </rightOperand> | ||
78 | </expression> | ||
79 | </value> | ||
80 | </assertions> | ||
81 | <assertions name="upperMultiplicity healthsystem Examination" annotations="//@annotations.2"> | ||
82 | <value xsi:type="language_1:Forall"> | ||
83 | <quantifiedVariables name="src"> | ||
84 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
85 | </quantifiedVariables> | ||
86 | <quantifiedVariables name="trg 1"> | ||
87 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
88 | </quantifiedVariables> | ||
89 | <quantifiedVariables name="trg 2"> | ||
90 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
91 | </quantifiedVariables> | ||
92 | <expression xsi:type="language_1:Impl"> | ||
93 | <leftOperand xsi:type="language_1:And"> | ||
94 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
95 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
96 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
97 | </operands> | ||
98 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
99 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
100 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
101 | </operands> | ||
102 | </leftOperand> | ||
103 | <rightOperand xsi:type="language_1:Not"> | ||
104 | <operand xsi:type="language_1:Distinct"> | ||
105 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
106 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
107 | </operand> | ||
108 | </rightOperand> | ||
109 | </expression> | ||
110 | </value> | ||
111 | </assertions> | ||
112 | <assertions name="lowerMultiplicity medicalrecord Symptom" annotations="//@annotations.3"> | ||
113 | <value xsi:type="language_1:Forall"> | ||
114 | <quantifiedVariables name="src"> | ||
115 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
116 | </quantifiedVariables> | ||
117 | <expression xsi:type="language_1:Exists"> | ||
118 | <quantifiedVariables name="trg 1"> | ||
119 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
120 | </quantifiedVariables> | ||
121 | <expression xsi:type="language_1:And"> | ||
122 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
123 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
124 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@expression/@quantifiedVariables.0"/> | ||
125 | </operands> | ||
126 | </expression> | ||
127 | </expression> | ||
128 | </value> | ||
129 | </assertions> | ||
130 | <assertions name="upperMultiplicity medicalrecord Symptom" annotations="//@annotations.4"> | ||
131 | <value xsi:type="language_1:Forall"> | ||
132 | <quantifiedVariables name="src"> | ||
133 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
134 | </quantifiedVariables> | ||
135 | <quantifiedVariables name="trg 1"> | ||
136 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
137 | </quantifiedVariables> | ||
138 | <quantifiedVariables name="trg 2"> | ||
139 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
140 | </quantifiedVariables> | ||
141 | <expression xsi:type="language_1:Impl"> | ||
142 | <leftOperand xsi:type="language_1:And"> | ||
143 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
144 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
145 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | ||
146 | </operands> | ||
147 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
148 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
149 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> | ||
150 | </operands> | ||
151 | </leftOperand> | ||
152 | <rightOperand xsi:type="language_1:Not"> | ||
153 | <operand xsi:type="language_1:Distinct"> | ||
154 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | ||
155 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> | ||
156 | </operand> | ||
157 | </rightOperand> | ||
158 | </expression> | ||
159 | </value> | ||
160 | </assertions> | ||
161 | <assertions name="lowerMultiplicity examinationType ExaminationResult" annotations="//@annotations.5"> | ||
162 | <value xsi:type="language_1:Forall"> | ||
163 | <quantifiedVariables name="src"> | ||
164 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
165 | </quantifiedVariables> | ||
166 | <expression xsi:type="language_1:Exists"> | ||
167 | <quantifiedVariables name="trg 1"> | ||
168 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
169 | </quantifiedVariables> | ||
170 | <expression xsi:type="language_1:And"> | ||
171 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
172 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | ||
173 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@expression/@quantifiedVariables.0"/> | ||
174 | </operands> | ||
175 | </expression> | ||
176 | </expression> | ||
177 | </value> | ||
178 | </assertions> | ||
179 | <assertions name="upperMultiplicity examinationType ExaminationResult" annotations="//@annotations.6"> | ||
180 | <value xsi:type="language_1:Forall"> | ||
181 | <quantifiedVariables name="src"> | ||
182 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
183 | </quantifiedVariables> | ||
184 | <quantifiedVariables name="trg 1"> | ||
185 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
186 | </quantifiedVariables> | ||
187 | <quantifiedVariables name="trg 2"> | ||
188 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
189 | </quantifiedVariables> | ||
190 | <expression xsi:type="language_1:Impl"> | ||
191 | <leftOperand xsi:type="language_1:And"> | ||
192 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
193 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | ||
194 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> | ||
195 | </operands> | ||
196 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
197 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | ||
198 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/> | ||
199 | </operands> | ||
200 | </leftOperand> | ||
201 | <rightOperand xsi:type="language_1:Not"> | ||
202 | <operand xsi:type="language_1:Distinct"> | ||
203 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> | ||
204 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/> | ||
205 | </operand> | ||
206 | </rightOperand> | ||
207 | </expression> | ||
208 | </value> | ||
209 | </assertions> | ||
210 | <assertions name="lowerMultiplicity medicalrecord ExaminationResult" annotations="//@annotations.7"> | ||
211 | <value xsi:type="language_1:Forall"> | ||
212 | <quantifiedVariables name="src"> | ||
213 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
214 | </quantifiedVariables> | ||
215 | <expression xsi:type="language_1:Exists"> | ||
216 | <quantifiedVariables name="trg 1"> | ||
217 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
218 | </quantifiedVariables> | ||
219 | <expression xsi:type="language_1:And"> | ||
220 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
221 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> | ||
222 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@expression/@quantifiedVariables.0"/> | ||
223 | </operands> | ||
224 | </expression> | ||
225 | </expression> | ||
226 | </value> | ||
227 | </assertions> | ||
228 | <assertions name="upperMultiplicity medicalrecord ExaminationResult" annotations="//@annotations.8"> | ||
229 | <value xsi:type="language_1:Forall"> | ||
230 | <quantifiedVariables name="src"> | ||
231 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
232 | </quantifiedVariables> | ||
233 | <quantifiedVariables name="trg 1"> | ||
234 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
235 | </quantifiedVariables> | ||
236 | <quantifiedVariables name="trg 2"> | ||
237 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
238 | </quantifiedVariables> | ||
239 | <expression xsi:type="language_1:Impl"> | ||
240 | <leftOperand xsi:type="language_1:And"> | ||
241 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
242 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | ||
243 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> | ||
244 | </operands> | ||
245 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
246 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | ||
247 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/> | ||
248 | </operands> | ||
249 | </leftOperand> | ||
250 | <rightOperand xsi:type="language_1:Not"> | ||
251 | <operand xsi:type="language_1:Distinct"> | ||
252 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> | ||
253 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/> | ||
254 | </operand> | ||
255 | </rightOperand> | ||
256 | </expression> | ||
257 | </value> | ||
258 | </assertions> | ||
259 | <assertions name="lowerMultiplicity patient MedicalRecord" annotations="//@annotations.9"> | ||
260 | <value xsi:type="language_1:Forall"> | ||
261 | <quantifiedVariables name="src"> | ||
262 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
263 | </quantifiedVariables> | ||
264 | <expression xsi:type="language_1:Exists"> | ||
265 | <quantifiedVariables name="trg 1"> | ||
266 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
267 | </quantifiedVariables> | ||
268 | <expression xsi:type="language_1:And"> | ||
269 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
270 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> | ||
271 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@expression/@quantifiedVariables.0"/> | ||
272 | </operands> | ||
273 | </expression> | ||
274 | </expression> | ||
275 | </value> | ||
276 | </assertions> | ||
277 | <assertions name="upperMultiplicity patient MedicalRecord" annotations="//@annotations.10"> | ||
278 | <value xsi:type="language_1:Forall"> | ||
279 | <quantifiedVariables name="src"> | ||
280 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
281 | </quantifiedVariables> | ||
282 | <quantifiedVariables name="trg 1"> | ||
283 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
284 | </quantifiedVariables> | ||
285 | <quantifiedVariables name="trg 2"> | ||
286 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
287 | </quantifiedVariables> | ||
288 | <expression xsi:type="language_1:Impl"> | ||
289 | <leftOperand xsi:type="language_1:And"> | ||
290 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
291 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> | ||
292 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/> | ||
293 | </operands> | ||
294 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
295 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> | ||
296 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/> | ||
297 | </operands> | ||
298 | </leftOperand> | ||
299 | <rightOperand xsi:type="language_1:Not"> | ||
300 | <operand xsi:type="language_1:Distinct"> | ||
301 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/> | ||
302 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/> | ||
303 | </operand> | ||
304 | </rightOperand> | ||
305 | </expression> | ||
306 | </value> | ||
307 | </assertions> | ||
308 | <assertions name="lowerMultiplicity record HealthProblem" annotations="//@annotations.11"> | ||
309 | <value xsi:type="language_1:Forall"> | ||
310 | <quantifiedVariables name="src"> | ||
311 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
312 | </quantifiedVariables> | ||
313 | <expression xsi:type="language_1:Exists"> | ||
314 | <quantifiedVariables name="trg 1"> | ||
315 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
316 | </quantifiedVariables> | ||
317 | <expression xsi:type="language_1:And"> | ||
318 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
319 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/> | ||
320 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@expression/@quantifiedVariables.0"/> | ||
321 | </operands> | ||
322 | </expression> | ||
323 | </expression> | ||
324 | </value> | ||
325 | </assertions> | ||
326 | <assertions name="upperMultiplicity record HealthProblem" annotations="//@annotations.12"> | ||
327 | <value xsi:type="language_1:Forall"> | ||
328 | <quantifiedVariables name="src"> | ||
329 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
330 | </quantifiedVariables> | ||
331 | <quantifiedVariables name="trg 1"> | ||
332 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
333 | </quantifiedVariables> | ||
334 | <quantifiedVariables name="trg 2"> | ||
335 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
336 | </quantifiedVariables> | ||
337 | <expression xsi:type="language_1:Impl"> | ||
338 | <leftOperand xsi:type="language_1:And"> | ||
339 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
340 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> | ||
341 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/> | ||
342 | </operands> | ||
343 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
344 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> | ||
345 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/> | ||
346 | </operands> | ||
347 | </leftOperand> | ||
348 | <rightOperand xsi:type="language_1:Not"> | ||
349 | <operand xsi:type="language_1:Distinct"> | ||
350 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/> | ||
351 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/> | ||
352 | </operand> | ||
353 | </rightOperand> | ||
354 | </expression> | ||
355 | </value> | ||
356 | </assertions> | ||
357 | <assertions name="lowerMultiplicity medicine Treatment" annotations="//@annotations.13"> | ||
358 | <value xsi:type="language_1:Forall"> | ||
359 | <quantifiedVariables name="src"> | ||
360 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
361 | </quantifiedVariables> | ||
362 | <expression xsi:type="language_1:Exists"> | ||
363 | <quantifiedVariables name="trg 1"> | ||
364 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
365 | </quantifiedVariables> | ||
366 | <expression xsi:type="language_1:And"> | ||
367 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
368 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/> | ||
369 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@expression/@quantifiedVariables.0"/> | ||
370 | </operands> | ||
371 | </expression> | ||
372 | </expression> | ||
373 | </value> | ||
374 | </assertions> | ||
375 | <assertions name="upperMultiplicity medicine Treatment" annotations="//@annotations.14"> | ||
376 | <value xsi:type="language_1:Forall"> | ||
377 | <quantifiedVariables name="src"> | ||
378 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
379 | </quantifiedVariables> | ||
380 | <quantifiedVariables name="trg 1"> | ||
381 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
382 | </quantifiedVariables> | ||
383 | <quantifiedVariables name="trg 2"> | ||
384 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
385 | </quantifiedVariables> | ||
386 | <expression xsi:type="language_1:Impl"> | ||
387 | <leftOperand xsi:type="language_1:And"> | ||
388 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
389 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> | ||
390 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/> | ||
391 | </operands> | ||
392 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
393 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> | ||
394 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/> | ||
395 | </operands> | ||
396 | </leftOperand> | ||
397 | <rightOperand xsi:type="language_1:Not"> | ||
398 | <operand xsi:type="language_1:Distinct"> | ||
399 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/> | ||
400 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/> | ||
401 | </operand> | ||
402 | </rightOperand> | ||
403 | </expression> | ||
404 | </value> | ||
405 | </assertions> | ||
406 | <assertions name="oppositeReference records Patient" annotations="//@annotations.15"> | ||
407 | <value xsi:type="language_1:Forall"> | ||
408 | <quantifiedVariables name="src"> | ||
409 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
410 | </quantifiedVariables> | ||
411 | <quantifiedVariables name="trg"> | ||
412 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
413 | </quantifiedVariables> | ||
414 | <expression xsi:type="language_1:Iff"> | ||
415 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
416 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> | ||
417 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/> | ||
418 | </leftOperand> | ||
419 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> | ||
420 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/> | ||
421 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> | ||
422 | </rightOperand> | ||
423 | </expression> | ||
424 | </value> | ||
425 | </assertions> | ||
426 | <assertions name="oppositeReference healthsystem Patient" annotations="//@annotations.16"> | ||
427 | <value xsi:type="language_1:Forall"> | ||
428 | <quantifiedVariables name="src"> | ||
429 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
430 | </quantifiedVariables> | ||
431 | <quantifiedVariables name="trg"> | ||
432 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
433 | </quantifiedVariables> | ||
434 | <expression xsi:type="language_1:Iff"> | ||
435 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
436 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> | ||
437 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/> | ||
438 | </leftOperand> | ||
439 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
440 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/> | ||
441 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> | ||
442 | </rightOperand> | ||
443 | </expression> | ||
444 | </value> | ||
445 | </assertions> | ||
446 | <assertions name="oppositeReference examination HealthSystem" annotations="//@annotations.17"> | ||
447 | <value xsi:type="language_1:Forall"> | ||
448 | <quantifiedVariables name="src"> | ||
449 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
450 | </quantifiedVariables> | ||
451 | <quantifiedVariables name="trg"> | ||
452 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
453 | </quantifiedVariables> | ||
454 | <expression xsi:type="language_1:Iff"> | ||
455 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
456 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> | ||
457 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/> | ||
458 | </leftOperand> | ||
459 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
460 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/> | ||
461 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> | ||
462 | </rightOperand> | ||
463 | </expression> | ||
464 | </value> | ||
465 | </assertions> | ||
466 | <assertions name="oppositeReference examinationResult Examination" annotations="//@annotations.18"> | ||
467 | <value xsi:type="language_1:Forall"> | ||
468 | <quantifiedVariables name="src"> | ||
469 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
470 | </quantifiedVariables> | ||
471 | <quantifiedVariables name="trg"> | ||
472 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
473 | </quantifiedVariables> | ||
474 | <expression xsi:type="language_1:Iff"> | ||
475 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | ||
476 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> | ||
477 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/> | ||
478 | </leftOperand> | ||
479 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | ||
480 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/> | ||
481 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> | ||
482 | </rightOperand> | ||
483 | </expression> | ||
484 | </value> | ||
485 | </assertions> | ||
486 | <assertions name="oppositeReference medicalrecord Symptom" annotations="//@annotations.19"> | ||
487 | <value xsi:type="language_1:Forall"> | ||
488 | <quantifiedVariables name="src"> | ||
489 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
490 | </quantifiedVariables> | ||
491 | <quantifiedVariables name="trg"> | ||
492 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
493 | </quantifiedVariables> | ||
494 | <expression xsi:type="language_1:Iff"> | ||
495 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | ||
496 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/> | ||
497 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/> | ||
498 | </leftOperand> | ||
499 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
500 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/> | ||
501 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/> | ||
502 | </rightOperand> | ||
503 | </expression> | ||
504 | </value> | ||
505 | </assertions> | ||
506 | <assertions name="oppositeReference medicalrecord ExaminationResult" annotations="//@annotations.20"> | ||
507 | <value xsi:type="language_1:Forall"> | ||
508 | <quantifiedVariables name="src"> | ||
509 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
510 | </quantifiedVariables> | ||
511 | <quantifiedVariables name="trg"> | ||
512 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
513 | </quantifiedVariables> | ||
514 | <expression xsi:type="language_1:Iff"> | ||
515 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> | ||
516 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/> | ||
517 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.1"/> | ||
518 | </leftOperand> | ||
519 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> | ||
520 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.1"/> | ||
521 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/> | ||
522 | </rightOperand> | ||
523 | </expression> | ||
524 | </value> | ||
525 | </assertions> | ||
526 | <assertions name="oppositeReference healthProblems MedicalRecord" annotations="//@annotations.21"> | ||
527 | <value xsi:type="language_1:Forall"> | ||
528 | <quantifiedVariables name="src"> | ||
529 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
530 | </quantifiedVariables> | ||
531 | <quantifiedVariables name="trg"> | ||
532 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
533 | </quantifiedVariables> | ||
534 | <expression xsi:type="language_1:Iff"> | ||
535 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> | ||
536 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/> | ||
537 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.1"/> | ||
538 | </leftOperand> | ||
539 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | ||
540 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.1"/> | ||
541 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/> | ||
542 | </rightOperand> | ||
543 | </expression> | ||
544 | </value> | ||
545 | </assertions> | ||
546 | <assertions name="upperMultiplicity height Patient" annotations="//@annotations.22"> | ||
547 | <value xsi:type="language_1:Forall"> | ||
548 | <quantifiedVariables name="src"> | ||
549 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
550 | </quantifiedVariables> | ||
551 | <quantifiedVariables name="trg 1"> | ||
552 | <range xsi:type="language_1:IntTypeReference"/> | ||
553 | </quantifiedVariables> | ||
554 | <quantifiedVariables name="trg 2"> | ||
555 | <range xsi:type="language_1:IntTypeReference"/> | ||
556 | </quantifiedVariables> | ||
557 | <expression xsi:type="language_1:Impl"> | ||
558 | <leftOperand xsi:type="language_1:And"> | ||
559 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> | ||
560 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/> | ||
561 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.1"/> | ||
562 | </operands> | ||
563 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18"> | ||
564 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/> | ||
565 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.2"/> | ||
566 | </operands> | ||
567 | </leftOperand> | ||
568 | <rightOperand xsi:type="language_1:Not"> | ||
569 | <operand xsi:type="language_1:Distinct"> | ||
570 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.1"/> | ||
571 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.2"/> | ||
572 | </operand> | ||
573 | </rightOperand> | ||
574 | </expression> | ||
575 | </value> | ||
576 | </assertions> | ||
577 | <assertions name="errorpattern ca mcgill dp19 queries treatmentWithoutSymptom" annotations="//@annotations.33"> | ||
578 | <value xsi:type="language_1:Forall"> | ||
579 | <quantifiedVariables name="mr"> | ||
580 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
581 | </quantifiedVariables> | ||
582 | <expression xsi:type="language_1:Not"> | ||
583 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> | ||
584 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/> | ||
585 | </operand> | ||
586 | </expression> | ||
587 | </value> | ||
588 | </assertions> | ||
589 | <assertions name="errorpattern ca mcgill dp19 queries healthProblemsWithoutExaminationResult" annotations="//@annotations.34"> | ||
590 | <value xsi:type="language_1:Forall"> | ||
591 | <quantifiedVariables name="mr"> | ||
592 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
593 | </quantifiedVariables> | ||
594 | <expression xsi:type="language_1:Not"> | ||
595 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> | ||
596 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/> | ||
597 | </operand> | ||
598 | </expression> | ||
599 | </value> | ||
600 | </assertions> | ||
601 | <assertions name="errorpattern ca mcgill dp19 queries allergyWithoutSymptom" annotations="//@annotations.35"> | ||
602 | <value xsi:type="language_1:Forall"> | ||
603 | <quantifiedVariables name="mr"> | ||
604 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
605 | </quantifiedVariables> | ||
606 | <expression xsi:type="language_1:Not"> | ||
607 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26"> | ||
608 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/> | ||
609 | </operand> | ||
610 | </expression> | ||
611 | </value> | ||
612 | </assertions> | ||
613 | <assertions name="errorpattern ca mcgill dp19 queries prescribedMedicineNotRecommended" annotations="//@annotations.36"> | ||
614 | <value xsi:type="language_1:Forall"> | ||
615 | <quantifiedVariables name="mr"> | ||
616 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
617 | </quantifiedVariables> | ||
618 | <quantifiedVariables name="med"> | ||
619 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
620 | </quantifiedVariables> | ||
621 | <expression xsi:type="language_1:Not"> | ||
622 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28"> | ||
623 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/> | ||
624 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.1"/> | ||
625 | </operand> | ||
626 | </expression> | ||
627 | </value> | ||
628 | </assertions> | ||
629 | <relations xsi:type="language_1:RelationDeclaration" name="records reference Patient"> | ||
630 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
631 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
632 | </relations> | ||
633 | <relations xsi:type="language_1:RelationDeclaration" name="healthsystem reference Patient"> | ||
634 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
635 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
636 | </relations> | ||
637 | <relations xsi:type="language_1:RelationDeclaration" name="patient reference HealthSystem"> | ||
638 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
639 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
640 | </relations> | ||
641 | <relations xsi:type="language_1:RelationDeclaration" name="examination reference HealthSystem"> | ||
642 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
643 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
644 | </relations> | ||
645 | <relations xsi:type="language_1:RelationDeclaration" name="medicine reference HealthSystem"> | ||
646 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
647 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
648 | </relations> | ||
649 | <relations xsi:type="language_1:RelationDeclaration" name="examinationResult reference Examination"> | ||
650 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
651 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
652 | </relations> | ||
653 | <relations xsi:type="language_1:RelationDeclaration" name="healthsystem reference Examination"> | ||
654 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
655 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
656 | </relations> | ||
657 | <relations xsi:type="language_1:RelationDeclaration" name="medicalrecord reference Symptom"> | ||
658 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
659 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
660 | </relations> | ||
661 | <relations xsi:type="language_1:RelationDeclaration" name="examinationType reference ExaminationResult"> | ||
662 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
663 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
664 | </relations> | ||
665 | <relations xsi:type="language_1:RelationDeclaration" name="medicalrecord reference ExaminationResult"> | ||
666 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
667 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
668 | </relations> | ||
669 | <relations xsi:type="language_1:RelationDeclaration" name="patient reference MedicalRecord"> | ||
670 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
671 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
672 | </relations> | ||
673 | <relations xsi:type="language_1:RelationDeclaration" name="healthProblems reference MedicalRecord"> | ||
674 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
675 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
676 | </relations> | ||
677 | <relations xsi:type="language_1:RelationDeclaration" name="symptom reference MedicalRecord"> | ||
678 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
679 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
680 | </relations> | ||
681 | <relations xsi:type="language_1:RelationDeclaration" name="examinationResults reference MedicalRecord"> | ||
682 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
683 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
684 | </relations> | ||
685 | <relations xsi:type="language_1:RelationDeclaration" name="treatment reference MedicalRecord"> | ||
686 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
687 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
688 | </relations> | ||
689 | <relations xsi:type="language_1:RelationDeclaration" name="record reference HealthProblem"> | ||
690 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
691 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
692 | </relations> | ||
693 | <relations xsi:type="language_1:RelationDeclaration" name="recommended_medicine reference HealthProblem"> | ||
694 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
695 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
696 | </relations> | ||
697 | <relations xsi:type="language_1:RelationDeclaration" name="medicine reference Treatment"> | ||
698 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
699 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
700 | </relations> | ||
701 | <relations xsi:type="language_1:RelationDeclaration" name="height attribute Patient"> | ||
702 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
703 | <parameters xsi:type="language_1:IntTypeReference"/> | ||
704 | </relations> | ||
705 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries treatment" annotations="//@annotations.23"> | ||
706 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
707 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
708 | <variables name="parameter mr"> | ||
709 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
710 | </variables> | ||
711 | <variables name="parameter tr"> | ||
712 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
713 | </variables> | ||
714 | <value xsi:type="language_1:Or"> | ||
715 | <operands xsi:type="language_1:And"> | ||
716 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> | ||
717 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/> | ||
718 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/> | ||
719 | </operands> | ||
720 | <operands xsi:type="language_1:InstanceOf"> | ||
721 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/> | ||
722 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
723 | </operands> | ||
724 | </operands> | ||
725 | </value> | ||
726 | </relations> | ||
727 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries examinationresult" annotations="//@annotations.24"> | ||
728 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
729 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
730 | <variables name="parameter mr"> | ||
731 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
732 | </variables> | ||
733 | <variables name="parameter er"> | ||
734 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
735 | </variables> | ||
736 | <value xsi:type="language_1:Or"> | ||
737 | <operands xsi:type="language_1:And"> | ||
738 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> | ||
739 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/> | ||
740 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/> | ||
741 | </operands> | ||
742 | </operands> | ||
743 | </value> | ||
744 | </relations> | ||
745 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries symptom" annotations="//@annotations.25"> | ||
746 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
747 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
748 | <variables name="parameter mr"> | ||
749 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
750 | </variables> | ||
751 | <variables name="parameter sy"> | ||
752 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
753 | </variables> | ||
754 | <value xsi:type="language_1:Or"> | ||
755 | <operands xsi:type="language_1:And"> | ||
756 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> | ||
757 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/> | ||
758 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.1"/> | ||
759 | </operands> | ||
760 | </operands> | ||
761 | </value> | ||
762 | </relations> | ||
763 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries treatmentWithoutSymptom" annotations="//@annotations.26"> | ||
764 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
765 | <variables name="parameter mr"> | ||
766 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
767 | </variables> | ||
768 | <value xsi:type="language_1:Or"> | ||
769 | <operands xsi:type="language_1:Exists"> | ||
770 | <quantifiedVariables name="variable tr"> | ||
771 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
772 | </quantifiedVariables> | ||
773 | <expression xsi:type="language_1:Forall"> | ||
774 | <quantifiedVariables name="variable 0"> | ||
775 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
776 | </quantifiedVariables> | ||
777 | <expression xsi:type="language_1:And"> | ||
778 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> | ||
779 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
780 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
781 | </operands> | ||
782 | <operands xsi:type="language_1:Not"> | ||
783 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> | ||
784 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/> | ||
785 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
786 | </operand> | ||
787 | </operands> | ||
788 | </expression> | ||
789 | </expression> | ||
790 | </operands> | ||
791 | </value> | ||
792 | </relations> | ||
793 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries healthProblems" annotations="//@annotations.27"> | ||
794 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
795 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
796 | <variables name="parameter mr"> | ||
797 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
798 | </variables> | ||
799 | <variables name="parameter hp"> | ||
800 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
801 | </variables> | ||
802 | <value xsi:type="language_1:Or"> | ||
803 | <operands xsi:type="language_1:And"> | ||
804 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> | ||
805 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/> | ||
806 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.1"/> | ||
807 | </operands> | ||
808 | </operands> | ||
809 | </value> | ||
810 | </relations> | ||
811 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries healthProblemsWithoutExaminationResult" annotations="//@annotations.28"> | ||
812 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
813 | <variables name="parameter mr"> | ||
814 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
815 | </variables> | ||
816 | <value xsi:type="language_1:Or"> | ||
817 | <operands xsi:type="language_1:Exists"> | ||
818 | <quantifiedVariables name="variable hp"> | ||
819 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
820 | </quantifiedVariables> | ||
821 | <expression xsi:type="language_1:Forall"> | ||
822 | <quantifiedVariables name="variable 0"> | ||
823 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
824 | </quantifiedVariables> | ||
825 | <expression xsi:type="language_1:And"> | ||
826 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23"> | ||
827 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/> | ||
828 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@quantifiedVariables.0"/> | ||
829 | </operands> | ||
830 | <operands xsi:type="language_1:Not"> | ||
831 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20"> | ||
832 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/> | ||
833 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
834 | </operand> | ||
835 | </operands> | ||
836 | </expression> | ||
837 | </expression> | ||
838 | </operands> | ||
839 | </value> | ||
840 | </relations> | ||
841 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries allergy" annotations="//@annotations.29"> | ||
842 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
843 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
844 | <variables name="parameter mr"> | ||
845 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
846 | </variables> | ||
847 | <variables name="parameter al"> | ||
848 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
849 | </variables> | ||
850 | <value xsi:type="language_1:Or"> | ||
851 | <operands xsi:type="language_1:And"> | ||
852 | <operands xsi:type="language_1:InstanceOf"> | ||
853 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.1"/> | ||
854 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
855 | </operands> | ||
856 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23"> | ||
857 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/> | ||
858 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.1"/> | ||
859 | </operands> | ||
860 | </operands> | ||
861 | </value> | ||
862 | </relations> | ||
863 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries allergyWithoutSymptom" annotations="//@annotations.30"> | ||
864 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
865 | <variables name="parameter mr"> | ||
866 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
867 | </variables> | ||
868 | <value xsi:type="language_1:Or"> | ||
869 | <operands xsi:type="language_1:Exists"> | ||
870 | <quantifiedVariables name="variable al"> | ||
871 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
872 | </quantifiedVariables> | ||
873 | <expression xsi:type="language_1:Forall"> | ||
874 | <quantifiedVariables name="variable 0"> | ||
875 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
876 | </quantifiedVariables> | ||
877 | <expression xsi:type="language_1:And"> | ||
878 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25"> | ||
879 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> | ||
880 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@quantifiedVariables.0"/> | ||
881 | </operands> | ||
882 | <operands xsi:type="language_1:Not"> | ||
883 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> | ||
884 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/> | ||
885 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@value/@operands.0/@expression/@quantifiedVariables.0"/> | ||
886 | </operand> | ||
887 | </operands> | ||
888 | </expression> | ||
889 | </expression> | ||
890 | </operands> | ||
891 | </value> | ||
892 | </relations> | ||
893 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries recommended" annotations="//@annotations.31"> | ||
894 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
895 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
896 | <variables name="parameter hp"> | ||
897 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
898 | </variables> | ||
899 | <variables name="parameter med"> | ||
900 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
901 | </variables> | ||
902 | <value xsi:type="language_1:Or"> | ||
903 | <operands xsi:type="language_1:And"> | ||
904 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> | ||
905 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/> | ||
906 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.1"/> | ||
907 | </operands> | ||
908 | <operands xsi:type="language_1:InstanceOf"> | ||
909 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.1"/> | ||
910 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
911 | </operands> | ||
912 | </operands> | ||
913 | </value> | ||
914 | </relations> | ||
915 | <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries prescribedMedicineNotRecommended" annotations="//@annotations.32"> | ||
916 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
917 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
918 | <variables name="parameter mr"> | ||
919 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | ||
920 | </variables> | ||
921 | <variables name="parameter med"> | ||
922 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
923 | </variables> | ||
924 | <value xsi:type="language_1:Or"> | ||
925 | <operands xsi:type="language_1:Exists"> | ||
926 | <quantifiedVariables name="variable hp"> | ||
927 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
928 | </quantifiedVariables> | ||
929 | <quantifiedVariables name="variable tr"> | ||
930 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
931 | </quantifiedVariables> | ||
932 | <expression xsi:type="language_1:And"> | ||
933 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23"> | ||
934 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/> | ||
935 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/> | ||
936 | </operands> | ||
937 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> | ||
938 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.0"/> | ||
939 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.1"/> | ||
940 | </operands> | ||
941 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17"> | ||
942 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.1"/> | ||
943 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.1"/> | ||
944 | </operands> | ||
945 | <operands xsi:type="language_1:InstanceOf"> | ||
946 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.1"/> | ||
947 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
948 | </operands> | ||
949 | <operands xsi:type="language_1:Not"> | ||
950 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27"> | ||
951 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@value/@operands.0/@quantifiedVariables.0"/> | ||
952 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.28/@variables.1"/> | ||
953 | </operand> | ||
954 | </operands> | ||
955 | </expression> | ||
956 | </operands> | ||
957 | </value> | ||
958 | </relations> | ||
959 | <elements name="o 1" definedInType="//@types.14"/> | ||
960 | <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.10 //@types.13 //@types.7 //@types.8 //@types.11 //@types.5 //@types.4 //@types.3 //@types.6 //@types.9 //@types.12 //@types.1 //@types.2 //@types.14 //@types.15" containmentRelations="//@relations.0 //@relations.2 //@relations.3 //@relations.4 //@relations.11 //@relations.12 //@relations.13 //@relations.14"/> | ||
961 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.1" upper="1"/> | ||
962 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.3" upper="1"/> | ||
963 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.6" upper="1"/> | ||
964 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.3" relation="//@relations.7" lower="1"/> | ||
965 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.7" upper="1"/> | ||
966 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.5" relation="//@relations.8" lower="1"/> | ||
967 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.8" upper="1"/> | ||
968 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.7" relation="//@relations.9" lower="1"/> | ||
969 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.8" relation="//@relations.9" upper="1"/> | ||
970 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.9" relation="//@relations.10" lower="1"/> | ||
971 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.10" relation="//@relations.10" upper="1"/> | ||
972 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.11" relation="//@relations.15" lower="1"/> | ||
973 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.12" relation="//@relations.15" upper="1"/> | ||
974 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.13" relation="//@relations.17" lower="1"/> | ||
975 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.14" relation="//@relations.17" upper="1"/> | ||
976 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.15" inverseA="//@relations.0" inverseB="//@relations.10"/> | ||
977 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.1" inverseB="//@relations.2"/> | ||
978 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.17" inverseA="//@relations.3" inverseB="//@relations.6"/> | ||
979 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.18" inverseA="//@relations.5" inverseB="//@relations.8"/> | ||
980 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.19" inverseA="//@relations.7" inverseB="//@relations.12"/> | ||
981 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.20" inverseA="//@relations.9" inverseB="//@relations.13"/> | ||
982 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.21" inverseA="//@relations.11" inverseB="//@relations.15"/> | ||
983 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.22" relation="//@relations.18" upper="1"/> | ||
984 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="ca.mcgill.dp19.queries.treatment"/> | ||
985 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="ca.mcgill.dp19.queries.examinationresult"/> | ||
986 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="ca.mcgill.dp19.queries.symptom"/> | ||
987 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="ca.mcgill.dp19.queries.treatmentWithoutSymptom"/> | ||
988 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="ca.mcgill.dp19.queries.healthProblems"/> | ||
989 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="ca.mcgill.dp19.queries.healthProblemsWithoutExaminationResult"/> | ||
990 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="ca.mcgill.dp19.queries.allergy"/> | ||
991 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="ca.mcgill.dp19.queries.allergyWithoutSymptom"/> | ||
992 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="ca.mcgill.dp19.queries.recommended"/> | ||
993 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.28" patternFullyQualifiedName="ca.mcgill.dp19.queries.prescribedMedicineNotRecommended"/> | ||
994 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.23" query="//@annotations.26"/> | ||
995 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.28"/> | ||
996 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.30"/> | ||
997 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.26" query="//@annotations.32"/> | ||
998 | </language:LogicProblem> | ||