aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-01-16 01:41:23 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-07 19:06:27 -0400
commit07073f142e982a1b9fb08255c8eb74d18dbf7a34 (patch)
treec9c4220ab68a21ef7652a5aef2f76146f00f9fb0 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/medicalSystem.logicproblem
parentInitial workspace setup (diff)
downloadVIATRA-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.logicproblem998
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>
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-22 08:18:19 +0000