final commit before the presentationVampire-ArenB

4 files changed, 31 insertions, 5 deletions

diff --git a/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/src/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend b/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/src/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend
index 420f6342..89d38931 100644
--- a/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/src/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend
+++ b/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/src/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtend
@@ -102,7 +102,15 @@ class Logic2VampireLanguageMapper_TypeMapper_FilteredTypes implements Logic2Vamp
                         it.fofRole = "axiom"
                         it.fofFormula = createVLSUniversalQuantifier => [
                                 it.variables += createVLSVariable => [it.name = "A"]
-                                it.operand = support.unfoldOr(new ArrayList<VLSTerm>(typeTrace.type2And.values))
+                                it.operand = createVLSEquivalent => [
+                                        it.left = createVLSFunction => [
+                                                it.constant = "Object"
+                                                it.terms += createVLSVariable => [
+                                                        it.name = "A"
+                                                ]
+                                        ]
+                                        it.right = support.unfoldOr(new ArrayList<VLSTerm>(typeTrace.type2And.values))
+                                ]
                         ]
                 ]
 
diff --git a/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtendbin b/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtendbin
index 4c2250b8..fbd82e64 100644
--- a/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtendbin
+++ b/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.xtendbin
diff --git a/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java b/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java
index 6b9bfd0a..33fdae7c 100644
--- a/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java
+++ b/Solvers/Vampire-Solver/hu.bme.mit.inf.dslreasoner.vampire.reasoner/xtend-gen/hu/bme/mit/inf/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper_FilteredTypes.java
@@ -199,9 +199,27 @@ public class Logic2VampireLanguageMapper_TypeMapper_FilteredTypes implements Log
         };
         VLSVariable _doubleArrow = ObjectExtensions.<VLSVariable>operator_doubleArrow(_createVLSVariable_1, _function_4);
         _variables.add(_doubleArrow);
-        Collection<VLSTerm> _values = typeTrace.type2And.values();
-        ArrayList<VLSTerm> _arrayList = new ArrayList<VLSTerm>(_values);
-        it_1.setOperand(this.support.unfoldOr(_arrayList));
+        VLSEquivalent _createVLSEquivalent = this.factory.createVLSEquivalent();
+        final Procedure1<VLSEquivalent> _function_5 = (VLSEquivalent it_2) -> {
+          VLSFunction _createVLSFunction = this.factory.createVLSFunction();
+          final Procedure1<VLSFunction> _function_6 = (VLSFunction it_3) -> {
+            it_3.setConstant("Object");
+            EList<VLSTerm> _terms = it_3.getTerms();
+            VLSVariable _createVLSVariable_2 = this.factory.createVLSVariable();
+            final Procedure1<VLSVariable> _function_7 = (VLSVariable it_4) -> {
+              it_4.setName("A");
+            };
+            VLSVariable _doubleArrow_1 = ObjectExtensions.<VLSVariable>operator_doubleArrow(_createVLSVariable_2, _function_7);
+            _terms.add(_doubleArrow_1);
+          };
+          VLSFunction _doubleArrow_1 = ObjectExtensions.<VLSFunction>operator_doubleArrow(_createVLSFunction, _function_6);
+          it_2.setLeft(_doubleArrow_1);
+          Collection<VLSTerm> _values = typeTrace.type2And.values();
+          ArrayList<VLSTerm> _arrayList = new ArrayList<VLSTerm>(_values);
+          it_2.setRight(this.support.unfoldOr(_arrayList));
+        };
+        VLSEquivalent _doubleArrow_1 = ObjectExtensions.<VLSEquivalent>operator_doubleArrow(_createVLSEquivalent, _function_5);
+        it_1.setOperand(_doubleArrow_1);
       };
       VLSUniversalQuantifier _doubleArrow = ObjectExtensions.<VLSUniversalQuantifier>operator_doubleArrow(_createVLSUniversalQuantifier, _function_3);
       it.setFofFormula(_doubleArrow);
diff --git a/Tests/hu.bme.mit.inf.dslreasoner.run/vampireCode.tptp b/Tests/hu.bme.mit.inf.dslreasoner.run/vampireCode.tptp
index 6e6224cd..42e4fce2 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.run/vampireCode.tptp
+++ b/Tests/hu.bme.mit.inf.dslreasoner.run/vampireCode.tptp
@@ -1 +1 @@
-%This is an initial Test Comment 
 fof ( typeDef_HealthSystem_class_DefinedPart , axiom , ! [ A ] : ( type_HealthSystem_class_DefinedPart ( A ) <=> A = "ao 1" ) ) . fof ( hierarchyHandler , axiom , ! [ A ] : ( ( ~ type_HealthSystem_class ( A ) & ( type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( type_HealthProblem_class ( A ) & ( type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . fof ( compliance_records_reference_Patient , axiom , ! [ Var_0 , Var_1 ] : ( rel_records_reference_Patient ( Var_0 , Var_1 ) => ( type_Patient_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_healthsystem_reference_Patient , axiom , ! [ Var_0 , Var_1 ] : ( rel_healthsystem_reference_Patient ( Var_0 , Var_1 ) => ( type_Patient_class ( Var_0 ) & type_HealthSystem_class ( Var_1 ) ) ) ) . fof ( compliance_patient_reference_HealthSystem , axiom , ! [ Var_0 , Var_1 ] : ( rel_patient_reference_HealthSystem ( Var_0 , Var_1 ) => ( type_HealthSystem_class ( Var_0 ) & type_Patient_class ( Var_1 ) ) ) ) . fof ( compliance_examination_reference_HealthSystem , axiom , ! [ Var_0 , Var_1 ] : ( rel_examination_reference_HealthSystem ( Var_0 , Var_1 ) => ( type_HealthSystem_class ( Var_0 ) & type_Examination_class ( Var_1 ) ) ) ) . fof ( compliance_medicine_reference_HealthSystem , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicine_reference_HealthSystem ( Var_0 , Var_1 ) => ( type_HealthSystem_class ( Var_0 ) & type_Medicine_class ( Var_1 ) ) ) ) . fof ( compliance_examinationResult_reference_Examination , axiom , ! [ Var_0 , Var_1 ] : ( rel_examinationResult_reference_Examination ( Var_0 , Var_1 ) => ( type_Examination_class ( Var_0 ) & type_ExaminationResult_class ( Var_1 ) ) ) ) . fof ( compliance_healthsystem_reference_Examination , axiom , ! [ Var_0 , Var_1 ] : ( rel_healthsystem_reference_Examination ( Var_0 , Var_1 ) => ( type_Examination_class ( Var_0 ) & type_HealthSystem_class ( Var_1 ) ) ) ) . fof ( compliance_medicalrecord_reference_Symptom , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicalrecord_reference_Symptom ( Var_0 , Var_1 ) => ( type_Symptom_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_examinationType_reference_ExaminationResult , axiom , ! [ Var_0 , Var_1 ] : ( rel_examinationType_reference_ExaminationResult ( Var_0 , Var_1 ) => ( type_ExaminationResult_class ( Var_0 ) & type_Examination_class ( Var_1 ) ) ) ) . fof ( compliance_medicalrecord_reference_ExaminationResult , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicalrecord_reference_ExaminationResult ( Var_0 , Var_1 ) => ( type_ExaminationResult_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_patient_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_patient_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_Patient_class ( Var_1 ) ) ) ) . fof ( compliance_healthProblems_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_healthProblems_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_HealthProblem_class ( Var_1 ) ) ) ) . fof ( compliance_symptom_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_symptom_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_Symptom_class ( Var_1 ) ) ) ) . fof ( compliance_examinationResults_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_examinationResults_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_ExaminationResult_class ( Var_1 ) ) ) ) . fof ( compliance_treatment_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_treatment_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_Treatment_class ( Var_1 ) ) ) ) . fof ( compliance_record_reference_HealthProblem , axiom , ! [ Var_0 , Var_1 ] : ( rel_record_reference_HealthProblem ( Var_0 , Var_1 ) => ( type_HealthProblem_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_recommended_medicine_reference_HealthProblem , axiom , ! [ Var_0 , Var_1 ] : ( rel_recommended_medicine_reference_HealthProblem ( Var_0 , Var_1 ) => ( type_HealthProblem_class ( Var_0 ) & type_Medicine_class ( Var_1 ) ) ) ) . fof ( compliance_medicine_reference_Treatment , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicine_reference_Treatment ( Var_0 , Var_1 ) => ( type_Treatment_class ( Var_0 ) & type_Medicine_class ( Var_1 ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_treatment , axiom , ! [ Var_parameter_mr , Var_parameter_tr ] : ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_parameter_tr ) => ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Treatment_class ( Var_parameter_tr ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_treatment , axiom , ! [ Var_parameter_mr , Var_parameter_tr ] : ( ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Treatment_class ( Var_parameter_tr ) ) => ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_parameter_tr ) <=> ( rel_treatment_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_tr ) & type_Treatment_class ( Var_parameter_tr ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_examinationresult , axiom , ! [ Var_parameter_mr , Var_parameter_er ] : ( rel_pattern_ca_mcgill_dp19_queries_examinationresult ( Var_parameter_mr , Var_parameter_er ) => ( type_ExaminationResult_class ( Var_parameter_er ) & type_MedicalRecord_class ( Var_parameter_mr ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_examinationresult , axiom , ! [ Var_parameter_mr , Var_parameter_er ] : ( ( type_ExaminationResult_class ( Var_parameter_er ) & type_MedicalRecord_class ( Var_parameter_mr ) ) => ( rel_pattern_ca_mcgill_dp19_queries_examinationresult ( Var_parameter_mr , Var_parameter_er ) <=> rel_examinationResults_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_er ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_symptom , axiom , ! [ Var_parameter_mr , Var_parameter_sy ] : ( rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_parameter_sy ) => ( type_Symptom_class ( Var_parameter_sy ) & type_MedicalRecord_class ( Var_parameter_mr ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_symptom , axiom , ! [ Var_parameter_mr , Var_parameter_sy ] : ( ( type_Symptom_class ( Var_parameter_sy ) & type_MedicalRecord_class ( Var_parameter_mr ) ) => ( rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_parameter_sy ) <=> rel_symptom_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_sy ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( rel_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom ( Var_parameter_mr ) => type_MedicalRecord_class ( Var_parameter_mr ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( type_MedicalRecord_class ( Var_parameter_mr ) => ( rel_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom ( Var_parameter_mr ) <=> ? [ Var_variable_tr ] : ( type_Treatment_class ( Var_variable_tr ) & ! [ Var_variable_0 ] : ( type_Symptom_class ( Var_variable_0 ) => ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_variable_tr ) & ~ rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_variable_0 ) ) ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_healthProblems , axiom , ! [ Var_parameter_mr , Var_parameter_hp ] : ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_parameter_hp ) => ( type_MedicalRecord_class ( Var_parameter_mr ) & type_HealthProblem_class ( Var_parameter_hp ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_healthProblems , axiom , ! [ Var_parameter_mr , Var_parameter_hp ] : ( ( type_MedicalRecord_class ( Var_parameter_mr ) & type_HealthProblem_class ( Var_parameter_hp ) ) => ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_parameter_hp ) <=> rel_healthProblems_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_hp ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult , axiom , ! [ Var_parameter_mr ] : ( rel_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult ( Var_parameter_mr ) => type_MedicalRecord_class ( Var_parameter_mr ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult , axiom , ! [ Var_parameter_mr ] : ( type_MedicalRecord_class ( Var_parameter_mr ) => ( rel_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult ( Var_parameter_mr ) <=> ? [ Var_variable_hp ] : ( type_HealthProblem_class ( Var_variable_hp ) & ! [ Var_variable_0 ] : ( type_ExaminationResult_class ( Var_variable_0 ) => ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_variable_hp ) & ~ rel_pattern_ca_mcgill_dp19_queries_examinationresult ( Var_parameter_mr , Var_variable_0 ) ) ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_allergy , axiom , ! [ Var_parameter_mr , Var_parameter_al ] : ( rel_pattern_ca_mcgill_dp19_queries_allergy ( Var_parameter_mr , Var_parameter_al ) => ( type_Allergy_class ( Var_parameter_al ) & type_MedicalRecord_class ( Var_parameter_mr ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_allergy , axiom , ! [ Var_parameter_mr , Var_parameter_al ] : ( ( type_Allergy_class ( Var_parameter_al ) & type_MedicalRecord_class ( Var_parameter_mr ) ) => ( rel_pattern_ca_mcgill_dp19_queries_allergy ( Var_parameter_mr , Var_parameter_al ) <=> ( type_Allergy_class ( Var_parameter_al ) & rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_parameter_al ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( rel_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom ( Var_parameter_mr ) => type_MedicalRecord_class ( Var_parameter_mr ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( type_MedicalRecord_class ( Var_parameter_mr ) => ( rel_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom ( Var_parameter_mr ) <=> ? [ Var_variable_al ] : ( type_Allergy_class ( Var_variable_al ) & ! [ Var_variable_0 ] : ( type_Symptom_class ( Var_variable_0 ) => ( rel_pattern_ca_mcgill_dp19_queries_allergy ( Var_parameter_mr , Var_variable_al ) & ~ rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_variable_0 ) ) ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_recommended , axiom , ! [ Var_parameter_hp , Var_parameter_med ] : ( rel_pattern_ca_mcgill_dp19_queries_recommended ( Var_parameter_hp , Var_parameter_med ) => ( type_HealthProblem_class ( Var_parameter_hp ) & type_Medicine_class ( Var_parameter_med ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_recommended , axiom , ! [ Var_parameter_hp , Var_parameter_med ] : ( ( type_HealthProblem_class ( Var_parameter_hp ) & type_Medicine_class ( Var_parameter_med ) ) => ( rel_pattern_ca_mcgill_dp19_queries_recommended ( Var_parameter_hp , Var_parameter_med ) <=> ( rel_recommended_medicine_reference_HealthProblem ( Var_parameter_hp , Var_parameter_med ) & type_Medicine_class ( Var_parameter_med ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended , axiom , ! [ Var_parameter_mr , Var_parameter_med ] : ( rel_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended ( Var_parameter_mr , Var_parameter_med ) => ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Medicine_class ( Var_parameter_med ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended , axiom , ! [ Var_parameter_mr , Var_parameter_med ] : ( ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Medicine_class ( Var_parameter_med ) ) => ( rel_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended ( Var_parameter_mr , Var_parameter_med ) <=> ? [ Var_variable_hp , Var_variable_tr ] : ( type_HealthProblem_class ( Var_variable_hp ) & ( type_Treatment_class ( Var_variable_tr ) & ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_variable_hp ) & ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_variable_tr ) & ( rel_medicine_reference_Treatment ( Var_variable_tr , Var_parameter_med ) & ( type_Medicine_class ( Var_parameter_med ) & ~ rel_pattern_ca_mcgill_dp19_queries_recommended ( Var_variable_hp , Var_parameter_med ) ) ) ) ) ) ) ) ) ) . fof ( upperMultiplicity_healthsystem_Patient , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Patient_class ( Var_src ) & ( type_HealthSystem_class ( Var_trg_1 ) & type_HealthSystem_class ( Var_trg_2 ) ) ) => ( ( rel_healthsystem_reference_Patient ( Var_src , Var_trg_1 ) & rel_healthsystem_reference_Patient ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( upperMultiplicity_examination_HealthSystem , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_HealthSystem_class ( Var_src ) & ( type_Examination_class ( Var_trg_1 ) & type_Examination_class ( Var_trg_2 ) ) ) => ( ( rel_examination_reference_HealthSystem ( Var_src , Var_trg_1 ) & rel_examination_reference_HealthSystem ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( upperMultiplicity_healthsystem_Examination , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Examination_class ( Var_src ) & ( type_HealthSystem_class ( Var_trg_1 ) & type_HealthSystem_class ( Var_trg_2 ) ) ) => ( ( rel_healthsystem_reference_Examination ( Var_src , Var_trg_1 ) & rel_healthsystem_reference_Examination ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_medicalrecord_Symptom , axiom , ! [ Var_src ] : ( type_Symptom_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_MedicalRecord_class ( Var_trg_1 ) & rel_medicalrecord_reference_Symptom ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_medicalrecord_Symptom , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Symptom_class ( Var_src ) & ( type_MedicalRecord_class ( Var_trg_1 ) & type_MedicalRecord_class ( Var_trg_2 ) ) ) => ( ( rel_medicalrecord_reference_Symptom ( Var_src , Var_trg_1 ) & rel_medicalrecord_reference_Symptom ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_examinationType_ExaminationResult , axiom , ! [ Var_src ] : ( type_ExaminationResult_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_Examination_class ( Var_trg_1 ) & rel_examinationType_reference_ExaminationResult ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_examinationType_ExaminationResult , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_ExaminationResult_class ( Var_src ) & ( type_Examination_class ( Var_trg_1 ) & type_Examination_class ( Var_trg_2 ) ) ) => ( ( rel_examinationType_reference_ExaminationResult ( Var_src , Var_trg_1 ) & rel_examinationType_reference_ExaminationResult ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_medicalrecord_ExaminationResult , axiom , ! [ Var_src ] : ( type_ExaminationResult_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_MedicalRecord_class ( Var_trg_1 ) & rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_medicalrecord_ExaminationResult , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_ExaminationResult_class ( Var_src ) & ( type_MedicalRecord_class ( Var_trg_1 ) & type_MedicalRecord_class ( Var_trg_2 ) ) ) => ( ( rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg_1 ) & rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_patient_MedicalRecord , axiom , ! [ Var_src ] : ( type_MedicalRecord_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_Patient_class ( Var_trg_1 ) & rel_patient_reference_MedicalRecord ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_patient_MedicalRecord , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_MedicalRecord_class ( Var_src ) & ( type_Patient_class ( Var_trg_1 ) & type_Patient_class ( Var_trg_2 ) ) ) => ( ( rel_patient_reference_MedicalRecord ( Var_src , Var_trg_1 ) & rel_patient_reference_MedicalRecord ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_record_HealthProblem , axiom , ! [ Var_src ] : ( type_HealthProblem_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_MedicalRecord_class ( Var_trg_1 ) & rel_record_reference_HealthProblem ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_record_HealthProblem , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_HealthProblem_class ( Var_src ) & ( type_MedicalRecord_class ( Var_trg_1 ) & type_MedicalRecord_class ( Var_trg_2 ) ) ) => ( ( rel_record_reference_HealthProblem ( Var_src , Var_trg_1 ) & rel_record_reference_HealthProblem ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_medicine_Treatment , axiom , ! [ Var_src ] : ( type_Treatment_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_Medicine_class ( Var_trg_1 ) & rel_medicine_reference_Treatment ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_medicine_Treatment , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Treatment_class ( Var_src ) & ( type_Medicine_class ( Var_trg_1 ) & type_Medicine_class ( Var_trg_2 ) ) ) => ( ( rel_medicine_reference_Treatment ( Var_src , Var_trg_1 ) & rel_medicine_reference_Treatment ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( oppositeReference_records_Patient , axiom , ! [ Var_src , Var_trg ] : ( ( type_Patient_class ( Var_src ) & type_MedicalRecord_class ( Var_trg ) ) => ( rel_records_reference_Patient ( Var_src , Var_trg ) <=> rel_patient_reference_MedicalRecord ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_healthsystem_Patient , axiom , ! [ Var_src , Var_trg ] : ( ( type_Patient_class ( Var_src ) & type_HealthSystem_class ( Var_trg ) ) => ( rel_healthsystem_reference_Patient ( Var_src , Var_trg ) <=> rel_patient_reference_HealthSystem ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_examination_HealthSystem , axiom , ! [ Var_src , Var_trg ] : ( ( type_HealthSystem_class ( Var_src ) & type_Examination_class ( Var_trg ) ) => ( rel_examination_reference_HealthSystem ( Var_src , Var_trg ) <=> rel_healthsystem_reference_Examination ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_examinationResult_Examination , axiom , ! [ Var_src , Var_trg ] : ( ( type_Examination_class ( Var_src ) & type_ExaminationResult_class ( Var_trg ) ) => ( rel_examinationResult_reference_Examination ( Var_src , Var_trg ) <=> rel_examinationType_reference_ExaminationResult ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_medicalrecord_Symptom , axiom , ! [ Var_src , Var_trg ] : ( ( type_Symptom_class ( Var_src ) & type_MedicalRecord_class ( Var_trg ) ) => ( rel_medicalrecord_reference_Symptom ( Var_src , Var_trg ) <=> rel_symptom_reference_MedicalRecord ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_medicalrecord_ExaminationResult , axiom , ! [ Var_src , Var_trg ] : ( ( type_ExaminationResult_class ( Var_src ) & type_MedicalRecord_class ( Var_trg ) ) => ( rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg ) <=> rel_examinationResults_reference_MedicalRecord ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_healthProblems_MedicalRecord , axiom , ! [ Var_src , Var_trg ] : ( ( type_MedicalRecord_class ( Var_src ) & type_HealthProblem_class ( Var_trg ) ) => ( rel_healthProblems_reference_MedicalRecord ( Var_src , Var_trg ) <=> rel_record_reference_HealthProblem ( Var_trg , Var_src ) ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom , axiom , ! [ Var_mr ] : ( type_MedicalRecord_class ( Var_mr ) => ~ rel_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom ( Var_mr ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult , axiom , ! [ Var_mr ] : ( type_MedicalRecord_class ( Var_mr ) => ~ rel_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult ( Var_mr ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_allergyWithoutSymptom , axiom , ! [ Var_mr ] : ( type_MedicalRecord_class ( Var_mr ) => ~ rel_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom ( Var_mr ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended , axiom , ! [ Var_mr , Var_med ] : ( ( type_MedicalRecord_class ( Var_mr ) & type_Medicine_class ( Var_med ) ) => ~ rel_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended ( Var_mr , Var_med ) ) ) .

+%This is an initial Test Comment 
 fof ( typeDef_HealthSystem_class_DefinedPart , axiom , ! [ A ] : ( type_HealthSystem_class_DefinedPart ( A ) <=> A = "ao 1" ) ) . fof ( hierarchyHandler , axiom , ! [ A ] : ( Object ( A ) <=> ( ( ~ type_HealthSystem_class ( A ) & ( type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( type_HealthProblem_class ( A ) & ( type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( type_MedicalRecord_class ( A ) & ~ type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) | ( ~ type_HealthSystem_class ( A ) & ( ~ type_ExaminationResult_class ( A ) & ( ~ type_Treatment_class ( A ) & ( ~ type_Examination_class ( A ) & ( ~ type_Injury_class ( A ) & ( ~ type_HealthSystem_class_UndefinedPart ( A ) & ( ~ type_Patient_class ( A ) & ( ~ type_Immunization_class ( A ) & ( ~ type_HealthProblem_class ( A ) & ( ~ type_Allergy_class ( A ) & ( ~ type_HealthSystem_class_DefinedPart ( A ) & ( ~ type_Disease_class ( A ) & ( ~ type_Medication_class ( A ) & ( ~ type_Medicine_class ( A ) & ( ~ type_MedicalRecord_class ( A ) & type_Symptom_class ( A ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) ) . fof ( compliance_records_reference_Patient , axiom , ! [ Var_0 , Var_1 ] : ( rel_records_reference_Patient ( Var_0 , Var_1 ) => ( type_Patient_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_healthsystem_reference_Patient , axiom , ! [ Var_0 , Var_1 ] : ( rel_healthsystem_reference_Patient ( Var_0 , Var_1 ) => ( type_Patient_class ( Var_0 ) & type_HealthSystem_class ( Var_1 ) ) ) ) . fof ( compliance_patient_reference_HealthSystem , axiom , ! [ Var_0 , Var_1 ] : ( rel_patient_reference_HealthSystem ( Var_0 , Var_1 ) => ( type_HealthSystem_class ( Var_0 ) & type_Patient_class ( Var_1 ) ) ) ) . fof ( compliance_examination_reference_HealthSystem , axiom , ! [ Var_0 , Var_1 ] : ( rel_examination_reference_HealthSystem ( Var_0 , Var_1 ) => ( type_HealthSystem_class ( Var_0 ) & type_Examination_class ( Var_1 ) ) ) ) . fof ( compliance_medicine_reference_HealthSystem , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicine_reference_HealthSystem ( Var_0 , Var_1 ) => ( type_HealthSystem_class ( Var_0 ) & type_Medicine_class ( Var_1 ) ) ) ) . fof ( compliance_examinationResult_reference_Examination , axiom , ! [ Var_0 , Var_1 ] : ( rel_examinationResult_reference_Examination ( Var_0 , Var_1 ) => ( type_Examination_class ( Var_0 ) & type_ExaminationResult_class ( Var_1 ) ) ) ) . fof ( compliance_healthsystem_reference_Examination , axiom , ! [ Var_0 , Var_1 ] : ( rel_healthsystem_reference_Examination ( Var_0 , Var_1 ) => ( type_Examination_class ( Var_0 ) & type_HealthSystem_class ( Var_1 ) ) ) ) . fof ( compliance_medicalrecord_reference_Symptom , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicalrecord_reference_Symptom ( Var_0 , Var_1 ) => ( type_Symptom_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_examinationType_reference_ExaminationResult , axiom , ! [ Var_0 , Var_1 ] : ( rel_examinationType_reference_ExaminationResult ( Var_0 , Var_1 ) => ( type_ExaminationResult_class ( Var_0 ) & type_Examination_class ( Var_1 ) ) ) ) . fof ( compliance_medicalrecord_reference_ExaminationResult , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicalrecord_reference_ExaminationResult ( Var_0 , Var_1 ) => ( type_ExaminationResult_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_patient_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_patient_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_Patient_class ( Var_1 ) ) ) ) . fof ( compliance_healthProblems_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_healthProblems_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_HealthProblem_class ( Var_1 ) ) ) ) . fof ( compliance_symptom_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_symptom_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_Symptom_class ( Var_1 ) ) ) ) . fof ( compliance_examinationResults_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_examinationResults_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_ExaminationResult_class ( Var_1 ) ) ) ) . fof ( compliance_treatment_reference_MedicalRecord , axiom , ! [ Var_0 , Var_1 ] : ( rel_treatment_reference_MedicalRecord ( Var_0 , Var_1 ) => ( type_MedicalRecord_class ( Var_0 ) & type_Treatment_class ( Var_1 ) ) ) ) . fof ( compliance_record_reference_HealthProblem , axiom , ! [ Var_0 , Var_1 ] : ( rel_record_reference_HealthProblem ( Var_0 , Var_1 ) => ( type_HealthProblem_class ( Var_0 ) & type_MedicalRecord_class ( Var_1 ) ) ) ) . fof ( compliance_recommended_medicine_reference_HealthProblem , axiom , ! [ Var_0 , Var_1 ] : ( rel_recommended_medicine_reference_HealthProblem ( Var_0 , Var_1 ) => ( type_HealthProblem_class ( Var_0 ) & type_Medicine_class ( Var_1 ) ) ) ) . fof ( compliance_medicine_reference_Treatment , axiom , ! [ Var_0 , Var_1 ] : ( rel_medicine_reference_Treatment ( Var_0 , Var_1 ) => ( type_Treatment_class ( Var_0 ) & type_Medicine_class ( Var_1 ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_treatment , axiom , ! [ Var_parameter_mr , Var_parameter_tr ] : ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_parameter_tr ) => ( type_Treatment_class ( Var_parameter_tr ) & type_MedicalRecord_class ( Var_parameter_mr ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_treatment , axiom , ! [ Var_parameter_mr , Var_parameter_tr ] : ( ( type_Treatment_class ( Var_parameter_tr ) & type_MedicalRecord_class ( Var_parameter_mr ) ) => ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_parameter_tr ) <=> ( rel_treatment_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_tr ) & type_Treatment_class ( Var_parameter_tr ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_examinationresult , axiom , ! [ Var_parameter_mr , Var_parameter_er ] : ( rel_pattern_ca_mcgill_dp19_queries_examinationresult ( Var_parameter_mr , Var_parameter_er ) => ( type_ExaminationResult_class ( Var_parameter_er ) & type_MedicalRecord_class ( Var_parameter_mr ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_examinationresult , axiom , ! [ Var_parameter_mr , Var_parameter_er ] : ( ( type_ExaminationResult_class ( Var_parameter_er ) & type_MedicalRecord_class ( Var_parameter_mr ) ) => ( rel_pattern_ca_mcgill_dp19_queries_examinationresult ( Var_parameter_mr , Var_parameter_er ) <=> rel_examinationResults_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_er ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_symptom , axiom , ! [ Var_parameter_mr , Var_parameter_sy ] : ( rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_parameter_sy ) => ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Symptom_class ( Var_parameter_sy ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_symptom , axiom , ! [ Var_parameter_mr , Var_parameter_sy ] : ( ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Symptom_class ( Var_parameter_sy ) ) => ( rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_parameter_sy ) <=> rel_symptom_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_sy ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( rel_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom ( Var_parameter_mr ) => type_MedicalRecord_class ( Var_parameter_mr ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( type_MedicalRecord_class ( Var_parameter_mr ) => ( rel_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom ( Var_parameter_mr ) <=> ? [ Var_variable_tr ] : ( type_Treatment_class ( Var_variable_tr ) & ! [ Var_variable_0 ] : ( type_Symptom_class ( Var_variable_0 ) => ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_variable_tr ) & ~ rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_variable_0 ) ) ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_healthProblems , axiom , ! [ Var_parameter_mr , Var_parameter_hp ] : ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_parameter_hp ) => ( type_MedicalRecord_class ( Var_parameter_mr ) & type_HealthProblem_class ( Var_parameter_hp ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_healthProblems , axiom , ! [ Var_parameter_mr , Var_parameter_hp ] : ( ( type_MedicalRecord_class ( Var_parameter_mr ) & type_HealthProblem_class ( Var_parameter_hp ) ) => ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_parameter_hp ) <=> rel_healthProblems_reference_MedicalRecord ( Var_parameter_mr , Var_parameter_hp ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult , axiom , ! [ Var_parameter_mr ] : ( rel_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult ( Var_parameter_mr ) => type_MedicalRecord_class ( Var_parameter_mr ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult , axiom , ! [ Var_parameter_mr ] : ( type_MedicalRecord_class ( Var_parameter_mr ) => ( rel_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult ( Var_parameter_mr ) <=> ? [ Var_variable_hp ] : ( type_HealthProblem_class ( Var_variable_hp ) & ! [ Var_variable_0 ] : ( type_ExaminationResult_class ( Var_variable_0 ) => ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_variable_hp ) & ~ rel_pattern_ca_mcgill_dp19_queries_examinationresult ( Var_parameter_mr , Var_variable_0 ) ) ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_allergy , axiom , ! [ Var_parameter_mr , Var_parameter_al ] : ( rel_pattern_ca_mcgill_dp19_queries_allergy ( Var_parameter_mr , Var_parameter_al ) => ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Allergy_class ( Var_parameter_al ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_allergy , axiom , ! [ Var_parameter_mr , Var_parameter_al ] : ( ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Allergy_class ( Var_parameter_al ) ) => ( rel_pattern_ca_mcgill_dp19_queries_allergy ( Var_parameter_mr , Var_parameter_al ) <=> ( type_Allergy_class ( Var_parameter_al ) & rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_parameter_al ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( rel_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom ( Var_parameter_mr ) => type_MedicalRecord_class ( Var_parameter_mr ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom , axiom , ! [ Var_parameter_mr ] : ( type_MedicalRecord_class ( Var_parameter_mr ) => ( rel_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom ( Var_parameter_mr ) <=> ? [ Var_variable_al ] : ( type_Allergy_class ( Var_variable_al ) & ! [ Var_variable_0 ] : ( type_Symptom_class ( Var_variable_0 ) => ( rel_pattern_ca_mcgill_dp19_queries_allergy ( Var_parameter_mr , Var_variable_al ) & ~ rel_pattern_ca_mcgill_dp19_queries_symptom ( Var_parameter_mr , Var_variable_0 ) ) ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_recommended , axiom , ! [ Var_parameter_hp , Var_parameter_med ] : ( rel_pattern_ca_mcgill_dp19_queries_recommended ( Var_parameter_hp , Var_parameter_med ) => ( type_HealthProblem_class ( Var_parameter_hp ) & type_Medicine_class ( Var_parameter_med ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_recommended , axiom , ! [ Var_parameter_hp , Var_parameter_med ] : ( ( type_HealthProblem_class ( Var_parameter_hp ) & type_Medicine_class ( Var_parameter_med ) ) => ( rel_pattern_ca_mcgill_dp19_queries_recommended ( Var_parameter_hp , Var_parameter_med ) <=> ( rel_recommended_medicine_reference_HealthProblem ( Var_parameter_hp , Var_parameter_med ) & type_Medicine_class ( Var_parameter_med ) ) ) ) ) . fof ( compliance_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended , axiom , ! [ Var_parameter_mr , Var_parameter_med ] : ( rel_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended ( Var_parameter_mr , Var_parameter_med ) => ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Medicine_class ( Var_parameter_med ) ) ) ) . fof ( relation_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended , axiom , ! [ Var_parameter_mr , Var_parameter_med ] : ( ( type_MedicalRecord_class ( Var_parameter_mr ) & type_Medicine_class ( Var_parameter_med ) ) => ( rel_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended ( Var_parameter_mr , Var_parameter_med ) <=> ? [ Var_variable_hp , Var_variable_tr ] : ( type_HealthProblem_class ( Var_variable_hp ) & ( type_Treatment_class ( Var_variable_tr ) & ( rel_pattern_ca_mcgill_dp19_queries_healthProblems ( Var_parameter_mr , Var_variable_hp ) & ( rel_pattern_ca_mcgill_dp19_queries_treatment ( Var_parameter_mr , Var_variable_tr ) & ( rel_medicine_reference_Treatment ( Var_variable_tr , Var_parameter_med ) & ( type_Medicine_class ( Var_parameter_med ) & ~ rel_pattern_ca_mcgill_dp19_queries_recommended ( Var_variable_hp , Var_parameter_med ) ) ) ) ) ) ) ) ) ) . fof ( upperMultiplicity_healthsystem_Patient , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Patient_class ( Var_src ) & ( type_HealthSystem_class ( Var_trg_1 ) & type_HealthSystem_class ( Var_trg_2 ) ) ) => ( ( rel_healthsystem_reference_Patient ( Var_src , Var_trg_1 ) & rel_healthsystem_reference_Patient ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( upperMultiplicity_examination_HealthSystem , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_HealthSystem_class ( Var_src ) & ( type_Examination_class ( Var_trg_1 ) & type_Examination_class ( Var_trg_2 ) ) ) => ( ( rel_examination_reference_HealthSystem ( Var_src , Var_trg_1 ) & rel_examination_reference_HealthSystem ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( upperMultiplicity_healthsystem_Examination , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Examination_class ( Var_src ) & ( type_HealthSystem_class ( Var_trg_1 ) & type_HealthSystem_class ( Var_trg_2 ) ) ) => ( ( rel_healthsystem_reference_Examination ( Var_src , Var_trg_1 ) & rel_healthsystem_reference_Examination ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_medicalrecord_Symptom , axiom , ! [ Var_src ] : ( type_Symptom_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_MedicalRecord_class ( Var_trg_1 ) & rel_medicalrecord_reference_Symptom ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_medicalrecord_Symptom , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Symptom_class ( Var_src ) & ( type_MedicalRecord_class ( Var_trg_1 ) & type_MedicalRecord_class ( Var_trg_2 ) ) ) => ( ( rel_medicalrecord_reference_Symptom ( Var_src , Var_trg_1 ) & rel_medicalrecord_reference_Symptom ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_examinationType_ExaminationResult , axiom , ! [ Var_src ] : ( type_ExaminationResult_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_Examination_class ( Var_trg_1 ) & rel_examinationType_reference_ExaminationResult ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_examinationType_ExaminationResult , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_ExaminationResult_class ( Var_src ) & ( type_Examination_class ( Var_trg_1 ) & type_Examination_class ( Var_trg_2 ) ) ) => ( ( rel_examinationType_reference_ExaminationResult ( Var_src , Var_trg_1 ) & rel_examinationType_reference_ExaminationResult ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_medicalrecord_ExaminationResult , axiom , ! [ Var_src ] : ( type_ExaminationResult_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_MedicalRecord_class ( Var_trg_1 ) & rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_medicalrecord_ExaminationResult , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_ExaminationResult_class ( Var_src ) & ( type_MedicalRecord_class ( Var_trg_1 ) & type_MedicalRecord_class ( Var_trg_2 ) ) ) => ( ( rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg_1 ) & rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_patient_MedicalRecord , axiom , ! [ Var_src ] : ( type_MedicalRecord_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_Patient_class ( Var_trg_1 ) & rel_patient_reference_MedicalRecord ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_patient_MedicalRecord , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_MedicalRecord_class ( Var_src ) & ( type_Patient_class ( Var_trg_1 ) & type_Patient_class ( Var_trg_2 ) ) ) => ( ( rel_patient_reference_MedicalRecord ( Var_src , Var_trg_1 ) & rel_patient_reference_MedicalRecord ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_record_HealthProblem , axiom , ! [ Var_src ] : ( type_HealthProblem_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_MedicalRecord_class ( Var_trg_1 ) & rel_record_reference_HealthProblem ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_record_HealthProblem , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_HealthProblem_class ( Var_src ) & ( type_MedicalRecord_class ( Var_trg_1 ) & type_MedicalRecord_class ( Var_trg_2 ) ) ) => ( ( rel_record_reference_HealthProblem ( Var_src , Var_trg_1 ) & rel_record_reference_HealthProblem ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( lowerMultiplicity_medicine_Treatment , axiom , ! [ Var_src ] : ( type_Treatment_class ( Var_src ) => ? [ Var_trg_1 ] : ( type_Medicine_class ( Var_trg_1 ) & rel_medicine_reference_Treatment ( Var_src , Var_trg_1 ) ) ) ) . fof ( upperMultiplicity_medicine_Treatment , axiom , ! [ Var_src , Var_trg_1 , Var_trg_2 ] : ( ( type_Treatment_class ( Var_src ) & ( type_Medicine_class ( Var_trg_1 ) & type_Medicine_class ( Var_trg_2 ) ) ) => ( ( rel_medicine_reference_Treatment ( Var_src , Var_trg_1 ) & rel_medicine_reference_Treatment ( Var_src , Var_trg_2 ) ) => ~ Var_trg_1 != Var_trg_2 ) ) ) . fof ( oppositeReference_records_Patient , axiom , ! [ Var_src , Var_trg ] : ( ( type_Patient_class ( Var_src ) & type_MedicalRecord_class ( Var_trg ) ) => ( rel_records_reference_Patient ( Var_src , Var_trg ) <=> rel_patient_reference_MedicalRecord ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_healthsystem_Patient , axiom , ! [ Var_src , Var_trg ] : ( ( type_Patient_class ( Var_src ) & type_HealthSystem_class ( Var_trg ) ) => ( rel_healthsystem_reference_Patient ( Var_src , Var_trg ) <=> rel_patient_reference_HealthSystem ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_examination_HealthSystem , axiom , ! [ Var_src , Var_trg ] : ( ( type_HealthSystem_class ( Var_src ) & type_Examination_class ( Var_trg ) ) => ( rel_examination_reference_HealthSystem ( Var_src , Var_trg ) <=> rel_healthsystem_reference_Examination ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_examinationResult_Examination , axiom , ! [ Var_src , Var_trg ] : ( ( type_Examination_class ( Var_src ) & type_ExaminationResult_class ( Var_trg ) ) => ( rel_examinationResult_reference_Examination ( Var_src , Var_trg ) <=> rel_examinationType_reference_ExaminationResult ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_medicalrecord_Symptom , axiom , ! [ Var_src , Var_trg ] : ( ( type_Symptom_class ( Var_src ) & type_MedicalRecord_class ( Var_trg ) ) => ( rel_medicalrecord_reference_Symptom ( Var_src , Var_trg ) <=> rel_symptom_reference_MedicalRecord ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_medicalrecord_ExaminationResult , axiom , ! [ Var_src , Var_trg ] : ( ( type_ExaminationResult_class ( Var_src ) & type_MedicalRecord_class ( Var_trg ) ) => ( rel_medicalrecord_reference_ExaminationResult ( Var_src , Var_trg ) <=> rel_examinationResults_reference_MedicalRecord ( Var_trg , Var_src ) ) ) ) . fof ( oppositeReference_healthProblems_MedicalRecord , axiom , ! [ Var_src , Var_trg ] : ( ( type_MedicalRecord_class ( Var_src ) & type_HealthProblem_class ( Var_trg ) ) => ( rel_healthProblems_reference_MedicalRecord ( Var_src , Var_trg ) <=> rel_record_reference_HealthProblem ( Var_trg , Var_src ) ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom , axiom , ! [ Var_mr ] : ( type_MedicalRecord_class ( Var_mr ) => ~ rel_pattern_ca_mcgill_dp19_queries_treatmentWithoutSymptom ( Var_mr ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult , axiom , ! [ Var_mr ] : ( type_MedicalRecord_class ( Var_mr ) => ~ rel_pattern_ca_mcgill_dp19_queries_healthProblemsWithoutExaminationResult ( Var_mr ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_allergyWithoutSymptom , axiom , ! [ Var_mr ] : ( type_MedicalRecord_class ( Var_mr ) => ~ rel_pattern_ca_mcgill_dp19_queries_allergyWithoutSymptom ( Var_mr ) ) ) . fof ( errorpattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended , axiom , ! [ Var_mr , Var_med ] : ( ( type_MedicalRecord_class ( Var_mr ) & type_Medicine_class ( Var_med ) ) => ~ rel_pattern_ca_mcgill_dp19_queries_prescribedMedicineNotRecommended ( Var_mr , Var_med ) ) ) .