aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/newMedicalSystem.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/newMedicalSystem.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/newMedicalSystem.logicproblem')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/newMedicalSystem.logicproblem962
1 files changed, 962 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/newMedicalSystem.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/newMedicalSystem.logicproblem
new file mode 100644
index 00000000..a8e595b4
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/InputLPs/newMedicalSystem.logicproblem
@@ -0,0 +1,962 @@
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="errorpattern ca mcgill dp19 queries treatmentWithoutSymptom" annotations="//@annotations.32">
547 <value xsi:type="language_1:Forall">
548 <quantifiedVariables name="mr">
549 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
550 </quantifiedVariables>
551 <expression xsi:type="language_1:Not">
552 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21">
553 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/>
554 </operand>
555 </expression>
556 </value>
557 </assertions>
558 <assertions name="errorpattern ca mcgill dp19 queries healthProblemsWithoutExaminationResult" annotations="//@annotations.33">
559 <value xsi:type="language_1:Forall">
560 <quantifiedVariables name="mr">
561 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
562 </quantifiedVariables>
563 <expression xsi:type="language_1:Not">
564 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23">
565 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/>
566 </operand>
567 </expression>
568 </value>
569 </assertions>
570 <assertions name="errorpattern ca mcgill dp19 queries allergyWithoutSymptom" annotations="//@annotations.34">
571 <value xsi:type="language_1:Forall">
572 <quantifiedVariables name="mr">
573 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
574 </quantifiedVariables>
575 <expression xsi:type="language_1:Not">
576 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25">
577 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/>
578 </operand>
579 </expression>
580 </value>
581 </assertions>
582 <assertions name="errorpattern ca mcgill dp19 queries prescribedMedicineNotRecommended" annotations="//@annotations.35">
583 <value xsi:type="language_1:Forall">
584 <quantifiedVariables name="mr">
585 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
586 </quantifiedVariables>
587 <quantifiedVariables name="med">
588 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
589 </quantifiedVariables>
590 <expression xsi:type="language_1:Not">
591 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27">
592 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/>
593 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.1"/>
594 </operand>
595 </expression>
596 </value>
597 </assertions>
598 <relations xsi:type="language_1:RelationDeclaration" name="records reference Patient">
599 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
600 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
601 </relations>
602 <relations xsi:type="language_1:RelationDeclaration" name="healthsystem reference Patient">
603 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
604 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
605 </relations>
606 <relations xsi:type="language_1:RelationDeclaration" name="patient reference HealthSystem">
607 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
608 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
609 </relations>
610 <relations xsi:type="language_1:RelationDeclaration" name="examination reference HealthSystem">
611 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
612 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
613 </relations>
614 <relations xsi:type="language_1:RelationDeclaration" name="medicine reference HealthSystem">
615 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
616 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
617 </relations>
618 <relations xsi:type="language_1:RelationDeclaration" name="examinationResult reference Examination">
619 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
620 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
621 </relations>
622 <relations xsi:type="language_1:RelationDeclaration" name="healthsystem reference Examination">
623 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
624 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
625 </relations>
626 <relations xsi:type="language_1:RelationDeclaration" name="medicalrecord reference Symptom">
627 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
628 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
629 </relations>
630 <relations xsi:type="language_1:RelationDeclaration" name="examinationType reference ExaminationResult">
631 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
632 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
633 </relations>
634 <relations xsi:type="language_1:RelationDeclaration" name="medicalrecord reference ExaminationResult">
635 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
636 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
637 </relations>
638 <relations xsi:type="language_1:RelationDeclaration" name="patient reference MedicalRecord">
639 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
640 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
641 </relations>
642 <relations xsi:type="language_1:RelationDeclaration" name="healthProblems reference MedicalRecord">
643 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
644 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
645 </relations>
646 <relations xsi:type="language_1:RelationDeclaration" name="symptom reference MedicalRecord">
647 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
648 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
649 </relations>
650 <relations xsi:type="language_1:RelationDeclaration" name="examinationResults reference MedicalRecord">
651 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
652 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
653 </relations>
654 <relations xsi:type="language_1:RelationDeclaration" name="treatment reference MedicalRecord">
655 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
656 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
657 </relations>
658 <relations xsi:type="language_1:RelationDeclaration" name="record reference HealthProblem">
659 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
660 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
661 </relations>
662 <relations xsi:type="language_1:RelationDeclaration" name="recommended_medicine reference HealthProblem">
663 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
664 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
665 </relations>
666 <relations xsi:type="language_1:RelationDeclaration" name="medicine reference Treatment">
667 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
668 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
669 </relations>
670 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries treatment" annotations="//@annotations.22">
671 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
672 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
673 <variables name="parameter mr">
674 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
675 </variables>
676 <variables name="parameter tr">
677 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
678 </variables>
679 <value xsi:type="language_1:Or">
680 <operands xsi:type="language_1:And">
681 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14">
682 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>
683 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
684 </operands>
685 <operands xsi:type="language_1:InstanceOf">
686 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>
687 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
688 </operands>
689 </operands>
690 </value>
691 </relations>
692 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries examinationresult" annotations="//@annotations.23">
693 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
694 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
695 <variables name="parameter mr">
696 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
697 </variables>
698 <variables name="parameter er">
699 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
700 </variables>
701 <value xsi:type="language_1:Or">
702 <operands xsi:type="language_1:And">
703 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13">
704 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>
705 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>
706 </operands>
707 </operands>
708 </value>
709 </relations>
710 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries symptom" annotations="//@annotations.24">
711 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
712 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
713 <variables name="parameter mr">
714 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
715 </variables>
716 <variables name="parameter sy">
717 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
718 </variables>
719 <value xsi:type="language_1:Or">
720 <operands xsi:type="language_1:And">
721 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">
722 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.0"/>
723 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20/@variables.1"/>
724 </operands>
725 </operands>
726 </value>
727 </relations>
728 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries treatmentWithoutSymptom" annotations="//@annotations.25">
729 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
730 <variables name="parameter mr">
731 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
732 </variables>
733 <value xsi:type="language_1:Or">
734 <operands xsi:type="language_1:Exists">
735 <quantifiedVariables name="variable tr">
736 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
737 </quantifiedVariables>
738 <expression xsi:type="language_1:Forall">
739 <quantifiedVariables name="variable 0">
740 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
741 </quantifiedVariables>
742 <expression xsi:type="language_1:And">
743 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
744 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
745 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@quantifiedVariables.0"/>
746 </operands>
747 <operands xsi:type="language_1:Not">
748 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
749 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@variables.0"/>
750 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21/@value/@operands.0/@expression/@quantifiedVariables.0"/>
751 </operand>
752 </operands>
753 </expression>
754 </expression>
755 </operands>
756 </value>
757 </relations>
758 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries healthProblems" annotations="//@annotations.26">
759 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
760 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
761 <variables name="parameter mr">
762 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
763 </variables>
764 <variables name="parameter hp">
765 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
766 </variables>
767 <value xsi:type="language_1:Or">
768 <operands xsi:type="language_1:And">
769 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">
770 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.0"/>
771 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22/@variables.1"/>
772 </operands>
773 </operands>
774 </value>
775 </relations>
776 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries healthProblemsWithoutExaminationResult" annotations="//@annotations.27">
777 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
778 <variables name="parameter mr">
779 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
780 </variables>
781 <value xsi:type="language_1:Or">
782 <operands xsi:type="language_1:Exists">
783 <quantifiedVariables name="variable hp">
784 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
785 </quantifiedVariables>
786 <expression xsi:type="language_1:Forall">
787 <quantifiedVariables name="variable 0">
788 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
789 </quantifiedVariables>
790 <expression xsi:type="language_1:And">
791 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
792 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
793 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
794 </operands>
795 <operands xsi:type="language_1:Not">
796 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19">
797 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@variables.0"/>
798 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23/@value/@operands.0/@expression/@quantifiedVariables.0"/>
799 </operand>
800 </operands>
801 </expression>
802 </expression>
803 </operands>
804 </value>
805 </relations>
806 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries allergy" annotations="//@annotations.28">
807 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
808 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
809 <variables name="parameter mr">
810 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
811 </variables>
812 <variables name="parameter al">
813 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
814 </variables>
815 <value xsi:type="language_1:Or">
816 <operands xsi:type="language_1:And">
817 <operands xsi:type="language_1:InstanceOf">
818 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
819 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
820 </operands>
821 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
822 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.0"/>
823 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24/@variables.1"/>
824 </operands>
825 </operands>
826 </value>
827 </relations>
828 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries allergyWithoutSymptom" annotations="//@annotations.29">
829 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
830 <variables name="parameter mr">
831 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
832 </variables>
833 <value xsi:type="language_1:Or">
834 <operands xsi:type="language_1:Exists">
835 <quantifiedVariables name="variable al">
836 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/>
837 </quantifiedVariables>
838 <expression xsi:type="language_1:Forall">
839 <quantifiedVariables name="variable 0">
840 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
841 </quantifiedVariables>
842 <expression xsi:type="language_1:And">
843 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24">
844 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
845 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
846 </operands>
847 <operands xsi:type="language_1:Not">
848 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.20">
849 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@variables.0"/>
850 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.25/@value/@operands.0/@expression/@quantifiedVariables.0"/>
851 </operand>
852 </operands>
853 </expression>
854 </expression>
855 </operands>
856 </value>
857 </relations>
858 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries recommended" annotations="//@annotations.30">
859 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
860 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
861 <variables name="parameter hp">
862 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
863 </variables>
864 <variables name="parameter med">
865 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
866 </variables>
867 <value xsi:type="language_1:Or">
868 <operands xsi:type="language_1:And">
869 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16">
870 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.0"/>
871 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.1"/>
872 </operands>
873 <operands xsi:type="language_1:InstanceOf">
874 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26/@variables.1"/>
875 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
876 </operands>
877 </operands>
878 </value>
879 </relations>
880 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill dp19 queries prescribedMedicineNotRecommended" annotations="//@annotations.31">
881 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
882 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
883 <variables name="parameter mr">
884 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/>
885 </variables>
886 <variables name="parameter med">
887 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
888 </variables>
889 <value xsi:type="language_1:Or">
890 <operands xsi:type="language_1:Exists">
891 <quantifiedVariables name="variable hp">
892 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>
893 </quantifiedVariables>
894 <quantifiedVariables name="variable tr">
895 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/>
896 </quantifiedVariables>
897 <expression xsi:type="language_1:And">
898 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22">
899 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
900 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
901 </operands>
902 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">
903 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.0"/>
904 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.1"/>
905 </operands>
906 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17">
907 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.1"/>
908 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.1"/>
909 </operands>
910 <operands xsi:type="language_1:InstanceOf">
911 <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.1"/>
912 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/>
913 </operands>
914 <operands xsi:type="language_1:Not">
915 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26">
916 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@value/@operands.0/@quantifiedVariables.0"/>
917 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.27/@variables.1"/>
918 </operand>
919 </operands>
920 </expression>
921 </operands>
922 </value>
923 </relations>
924 <elements name="o 1" definedInType="//@types.14"/>
925 <containmentHierarchies typesOrderedInHierarchy="//@types.4 //@types.11 //@types.12 //@types.5 //@types.7 //@types.9 //@types.3 //@types.13 //@types.1 //@types.0 //@types.2 //@types.6 //@types.8 //@types.10 //@types.14 //@types.15" containmentRelations="//@relations.0 //@relations.2 //@relations.3 //@relations.4 //@relations.11 //@relations.12 //@relations.13 //@relations.14"/>
926 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.1" upper="1"/>
927 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.3" upper="1"/>
928 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.6" upper="1"/>
929 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.3" relation="//@relations.7" lower="1"/>
930 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.7" upper="1"/>
931 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.5" relation="//@relations.8" lower="1"/>
932 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.8" upper="1"/>
933 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.7" relation="//@relations.9" lower="1"/>
934 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.8" relation="//@relations.9" upper="1"/>
935 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.9" relation="//@relations.10" lower="1"/>
936 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.10" relation="//@relations.10" upper="1"/>
937 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.11" relation="//@relations.15" lower="1"/>
938 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.12" relation="//@relations.15" upper="1"/>
939 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.13" relation="//@relations.17" lower="1"/>
940 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.14" relation="//@relations.17" upper="1"/>
941 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.15" inverseA="//@relations.0" inverseB="//@relations.10"/>
942 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.1" inverseB="//@relations.2"/>
943 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.17" inverseA="//@relations.3" inverseB="//@relations.6"/>
944 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.18" inverseA="//@relations.5" inverseB="//@relations.8"/>
945 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.19" inverseA="//@relations.7" inverseB="//@relations.12"/>
946 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.20" inverseA="//@relations.9" inverseB="//@relations.13"/>
947 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.21" inverseA="//@relations.11" inverseB="//@relations.15"/>
948 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="ca.mcgill.dp19.queries.treatment"/>
949 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="ca.mcgill.dp19.queries.examinationresult"/>
950 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.20" patternFullyQualifiedName="ca.mcgill.dp19.queries.symptom"/>
951 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.21" patternFullyQualifiedName="ca.mcgill.dp19.queries.treatmentWithoutSymptom"/>
952 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.22" patternFullyQualifiedName="ca.mcgill.dp19.queries.healthProblems"/>
953 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.23" patternFullyQualifiedName="ca.mcgill.dp19.queries.healthProblemsWithoutExaminationResult"/>
954 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.24" patternFullyQualifiedName="ca.mcgill.dp19.queries.allergy"/>
955 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.25" patternFullyQualifiedName="ca.mcgill.dp19.queries.allergyWithoutSymptom"/>
956 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.26" patternFullyQualifiedName="ca.mcgill.dp19.queries.recommended"/>
957 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.27" patternFullyQualifiedName="ca.mcgill.dp19.queries.prescribedMedicineNotRecommended"/>
958 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.22" query="//@annotations.25"/>
959 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.23" query="//@annotations.27"/>
960 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.24" query="//@annotations.29"/>
961 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.25" query="//@annotations.31"/>
962</language:LogicProblem>
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-08-22 10:00:28 +0000