Moved partial model management is moved to one project (+1 PM edge fix)

26 files changed, 1858 insertions, 90 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
index d4ff8fe9..037dbf52 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
@@ -18,7 +18,6 @@ Require-Bundle: org.eclipse.xtext,
  hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",

  hu.bme.mit.inf.dslreasoner.smt.reasoner;bundle-version="1.0.0",

  hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0",

- hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic;bundle-version="1.0.0",

  hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0",

  hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner;bundle-version="1.0.0",

  hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0",

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.classpath b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.classpath
deleted file mode 100644
index 2b46fc9b..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.classpath
+++ /dev/null
@@ -1,9 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>

-<classpath>

-        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>

-        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>

-        <classpathentry kind="src" path="src"/>

-        <classpathentry kind="src" path="xtend-gen"/>

-        <classpathentry kind="src" path="src-gen/"/>

-        <classpathentry kind="output" path="bin"/>

-</classpath>

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.gitignore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.gitignore
deleted file mode 100644
index f2741e97..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/bin/
-/vql-gen/
-/xtend-gen/
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.project b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.project
deleted file mode 100644
index 153ec5ab..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.project
+++ /dev/null
@@ -1,34 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>

-<projectDescription>

-        <name>hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic</name>

-        <comment></comment>

-        <projects>

-        </projects>

-        <buildSpec>

-                <buildCommand>

-                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>

-                        <arguments>

-                        </arguments>

-                </buildCommand>

-                <buildCommand>

-                        <name>org.eclipse.jdt.core.javabuilder</name>

-                        <arguments>

-                        </arguments>

-                </buildCommand>

-                <buildCommand>

-                        <name>org.eclipse.pde.ManifestBuilder</name>

-                        <arguments>

-                        </arguments>

-                </buildCommand>

-                <buildCommand>

-                        <name>org.eclipse.pde.SchemaBuilder</name>

-                        <arguments>

-                        </arguments>

-                </buildCommand>

-        </buildSpec>

-        <natures>

-                <nature>org.eclipse.pde.PluginNature</nature>

-                <nature>org.eclipse.jdt.core.javanature</nature>

-                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>

-        </natures>

-</projectDescription>

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644
index 295926d9..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,7 +0,0 @@
-eclipse.preferences.version=1

-org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled

-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8

-org.eclipse.jdt.core.compiler.compliance=1.8

-org.eclipse.jdt.core.compiler.problem.assertIdentifier=error

-org.eclipse.jdt.core.compiler.problem.enumIdentifier=error

-org.eclipse.jdt.core.compiler.source=1.8

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF
deleted file mode 100644
index 703a1cef..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF
+++ /dev/null
@@ -1,15 +0,0 @@
-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: Partialinterpretation2logic
-Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
-Bundle-Version: 1.0.0.qualifier
-Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
-Require-Bundle: com.google.guava,

- org.eclipse.xtext.xbase.lib,

- org.eclipse.xtend.lib,

- org.eclipse.xtend.lib.macro,

- hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",

- hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",

- hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0"
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties
deleted file mode 100644
index 704a86e2..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties
+++ /dev/null
@@ -1,6 +0,0 @@
-bin.includes = META-INF/,\

-               .

-source.. = src/,\

-           src-gen/,\

-           xtend-gen/

-output.. = bin/

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF
index 91960c3a..83c90829 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF
@@ -7,22 +7,28 @@ Bundle-ClassPath: .
 Bundle-Vendor: %providerName

 Bundle-Localization: plugin

 Bundle-RequiredExecutionEnvironment: JavaSE-1.8

-Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage,

+Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic,

+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage,

  hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood,

  hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation,

  hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl,

  hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.util,

  hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.statecoder,

- hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation

+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation,

+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations,

+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl,

+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util

 Require-Bundle: org.eclipse.core.runtime,

  org.eclipse.emf.ecore;visibility:=reexport,

  hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport,

+ hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;visibility:=reexport,

  com.google.guava,

  org.eclipse.xtext.xbase.lib,

  org.eclipse.xtend.lib,

  org.eclipse.xtend.lib.macro,

  org.eclipse.viatra.query.runtime;bundle-version="1.5.0",

- org.eclipse.viatra.dse;bundle-version="0.15.0"

+ org.eclipse.viatra.dse;bundle-version="0.15.0",

+ hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0"

 Bundle-ActivationPolicy: lazy

 Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage

 

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java
new file mode 100644
index 00000000..7d53f823
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsFactory.java
@@ -0,0 +1,42 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations;

+

+import org.eclipse.emf.ecore.EFactory;

+

+/**

+ * <!-- begin-user-doc -->

+ * The <b>Factory</b> for the model.

+ * It provides a create method for each non-abstract class of the model.

+ * <!-- end-user-doc -->

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage

+ * @generated

+ */

+public interface Partial2logicannotationsFactory extends EFactory {

+        /**

+         * The singleton instance of the factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        Partial2logicannotationsFactory eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsFactoryImpl.init();

+

+        /**

+         * Returns a new object of class '<em>Partial Model Relation2 Assertion</em>'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return a new object of class '<em>Partial Model Relation2 Assertion</em>'.

+         * @generated

+         */

+        PartialModelRelation2Assertion createPartialModelRelation2Assertion();

+

+        /**

+         * Returns the package supported by this factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the package supported by this factory.

+         * @generated

+         */

+        Partial2logicannotationsPackage getPartial2logicannotationsPackage();

+

+} //Partial2logicannotationsFactory

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java
new file mode 100644
index 00000000..25438ba2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/Partial2logicannotationsPackage.java
@@ -0,0 +1,199 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.EPackage;

+import org.eclipse.emf.ecore.EReference;

+

+/**

+ * <!-- begin-user-doc -->

+ * The <b>Package</b> for the model.

+ * It contains accessors for the meta objects to represent

+ * <ul>

+ *   <li>each class,</li>

+ *   <li>each feature of each class,</li>

+ *   <li>each operation of each class,</li>

+ *   <li>each enum,</li>

+ *   <li>and each data type</li>

+ * </ul>

+ * <!-- end-user-doc -->

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory

+ * @model kind="package"

+ * @generated

+ */

+public interface Partial2logicannotationsPackage extends EPackage {

+        /**

+         * The package name.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        String eNAME = "partial2logicannotations";

+

+        /**

+         * The package namespace URI.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        String eNS_URI = "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation";

+

+        /**

+         * The package namespace name.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        String eNS_PREFIX = "partial2logicannotations";

+

+        /**

+         * The singleton instance of the package.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        Partial2logicannotationsPackage eINSTANCE = hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl.init();

+

+        /**

+         * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl <em>Partial Model Relation2 Assertion</em>}' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl#getPartialModelRelation2Assertion()

+         * @generated

+         */

+        int PARTIAL_MODEL_RELATION2_ASSERTION = 0;

+

+        /**

+         * The feature id for the '<em><b>Target</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_MODEL_RELATION2_ASSERTION__TARGET = LogicproblemPackage.ASSERTION_ANNOTATION__TARGET;

+

+        /**

+         * The feature id for the '<em><b>Links</b></em>' containment reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_MODEL_RELATION2_ASSERTION__LINKS = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 0;

+

+        /**

+         * The feature id for the '<em><b>Target Relation</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 1;

+

+        /**

+         * The number of structural features of the '<em>Partial Model Relation2 Assertion</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_MODEL_RELATION2_ASSERTION_FEATURE_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_FEATURE_COUNT + 2;

+

+        /**

+         * The number of operations of the '<em>Partial Model Relation2 Assertion</em>' class.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         * @ordered

+         */

+        int PARTIAL_MODEL_RELATION2_ASSERTION_OPERATION_COUNT = LogicproblemPackage.ASSERTION_ANNOTATION_OPERATION_COUNT + 0;

+

+

+        /**

+         * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion <em>Partial Model Relation2 Assertion</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for class '<em>Partial Model Relation2 Assertion</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion

+         * @generated

+         */

+        EClass getPartialModelRelation2Assertion();

+

+        /**

+         * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks <em>Links</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the containment reference list '<em>Links</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks()

+         * @see #getPartialModelRelation2Assertion()

+         * @generated

+         */

+        EReference getPartialModelRelation2Assertion_Links();

+

+        /**

+         * Returns the meta object for the reference '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}'.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the meta object for the reference '<em>Target Relation</em>'.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation()

+         * @see #getPartialModelRelation2Assertion()

+         * @generated

+         */

+        EReference getPartialModelRelation2Assertion_TargetRelation();

+

+        /**

+         * Returns the factory that creates the instances of the model.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the factory that creates the instances of the model.

+         * @generated

+         */

+        Partial2logicannotationsFactory getPartial2logicannotationsFactory();

+

+        /**

+         * <!-- begin-user-doc -->

+         * Defines literals for the meta objects that represent

+         * <ul>

+         *   <li>each class,</li>

+         *   <li>each feature of each class,</li>

+         *   <li>each operation of each class,</li>

+         *   <li>each enum,</li>

+         *   <li>and each data type</li>

+         * </ul>

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        interface Literals {

+                /**

+                 * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl <em>Partial Model Relation2 Assertion</em>}' class.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl

+                 * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.Partial2logicannotationsPackageImpl#getPartialModelRelation2Assertion()

+                 * @generated

+                 */

+                EClass PARTIAL_MODEL_RELATION2_ASSERTION = eINSTANCE.getPartialModelRelation2Assertion();

+

+                /**

+                 * The meta object literal for the '<em><b>Links</b></em>' containment reference list feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EReference PARTIAL_MODEL_RELATION2_ASSERTION__LINKS = eINSTANCE.getPartialModelRelation2Assertion_Links();

+

+                /**

+                 * The meta object literal for the '<em><b>Target Relation</b></em>' reference feature.

+                 * <!-- begin-user-doc -->

+                 * <!-- end-user-doc -->

+                 * @generated

+                 */

+                EReference PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION = eINSTANCE.getPartialModelRelation2Assertion_TargetRelation();

+

+        }

+

+} //Partial2logicannotationsPackage

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java
new file mode 100644
index 00000000..3c7f1a38
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/PartialModelRelation2Assertion.java
@@ -0,0 +1,72 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration;

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;

+

+import org.eclipse.emf.common.util.EList;

+

+/**

+ * <!-- begin-user-doc -->

+ * A representation of the model object '<em><b>Partial Model Relation2 Assertion</b></em>'.

+ * <!-- end-user-doc -->

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getLinks <em>Links</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion()

+ * @model

+ * @generated

+ */

+public interface PartialModelRelation2Assertion extends AssertionAnnotation {

+        /**

+         * Returns the value of the '<em><b>Links</b></em>' containment reference list.

+         * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink}.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Links</em>' containment reference list isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Links</em>' containment reference list.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion_Links()

+         * @model containment="true"

+         * @generated

+         */

+        EList<RelationLink> getLinks();

+

+        /**

+         * Returns the value of the '<em><b>Target Relation</b></em>' reference.

+         * <!-- begin-user-doc -->

+         * <p>

+         * If the meaning of the '<em>Target Relation</em>' reference isn't clear,

+         * there really should be more of a description here...

+         * </p>

+         * <!-- end-user-doc -->

+         * @return the value of the '<em>Target Relation</em>' reference.

+         * @see #setTargetRelation(RelationDeclaration)

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#getPartialModelRelation2Assertion_TargetRelation()

+         * @model required="true"

+         * @generated

+         */

+        RelationDeclaration getTargetRelation();

+

+        /**

+         * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion#getTargetRelation <em>Target Relation</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param value the new value of the '<em>Target Relation</em>' reference.

+         * @see #getTargetRelation()

+         * @generated

+         */

+        void setTargetRelation(RelationDeclaration value);

+

+} // PartialModelRelation2Assertion

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java
new file mode 100644
index 00000000..a9906e70
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsFactoryImpl.java
@@ -0,0 +1,95 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.EObject;

+import org.eclipse.emf.ecore.EPackage;

+

+import org.eclipse.emf.ecore.impl.EFactoryImpl;

+

+import org.eclipse.emf.ecore.plugin.EcorePlugin;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model <b>Factory</b>.

+ * <!-- end-user-doc -->

+ * @generated

+ */

+public class Partial2logicannotationsFactoryImpl extends EFactoryImpl implements Partial2logicannotationsFactory {

+        /**

+         * Creates the default factory implementation.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public static Partial2logicannotationsFactory init() {

+                try {

+                        Partial2logicannotationsFactory thePartial2logicannotationsFactory = (Partial2logicannotationsFactory)EPackage.Registry.INSTANCE.getEFactory(Partial2logicannotationsPackage.eNS_URI);

+                        if (thePartial2logicannotationsFactory != null) {

+                                return thePartial2logicannotationsFactory;

+                        }

+                }

+                catch (Exception exception) {

+                        EcorePlugin.INSTANCE.log(exception);

+                }

+                return new Partial2logicannotationsFactoryImpl();

+        }

+

+        /**

+         * Creates an instance of the factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public Partial2logicannotationsFactoryImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public EObject create(EClass eClass) {

+                switch (eClass.getClassifierID()) {

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: return createPartialModelRelation2Assertion();

+                        default:

+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");

+                }

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public PartialModelRelation2Assertion createPartialModelRelation2Assertion() {

+                PartialModelRelation2AssertionImpl partialModelRelation2Assertion = new PartialModelRelation2AssertionImpl();

+                return partialModelRelation2Assertion;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public Partial2logicannotationsPackage getPartial2logicannotationsPackage() {

+                return (Partial2logicannotationsPackage)getEPackage();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @deprecated

+         * @generated

+         */

+        @Deprecated

+        public static Partial2logicannotationsPackage getPackage() {

+                return Partial2logicannotationsPackage.eINSTANCE;

+        }

+

+} //Partial2logicannotationsFactoryImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java
new file mode 100644
index 00000000..f83498cd
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/Partial2logicannotationsPackageImpl.java
@@ -0,0 +1,205 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicproblemPackage;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.EPackage;

+import org.eclipse.emf.ecore.EReference;

+

+import org.eclipse.emf.ecore.impl.EPackageImpl;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model <b>Package</b>.

+ * <!-- end-user-doc -->

+ * @generated

+ */

+public class Partial2logicannotationsPackageImpl extends EPackageImpl implements Partial2logicannotationsPackage {

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private EClass partialModelRelation2AssertionEClass = null;

+

+        /**

+         * Creates an instance of the model <b>Package</b>, registered with

+         * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package

+         * package URI value.

+         * <p>Note: the correct way to create the package is via the static

+         * factory method {@link #init init()}, which also performs

+         * initialization of the package, or returns the registered package,

+         * if one already exists.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see org.eclipse.emf.ecore.EPackage.Registry

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage#eNS_URI

+         * @see #init()

+         * @generated

+         */

+        private Partial2logicannotationsPackageImpl() {

+                super(eNS_URI, Partial2logicannotationsFactory.eINSTANCE);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private static boolean isInited = false;

+

+        /**

+         * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.

+         * 

+         * <p>This method is used to initialize {@link Partial2logicannotationsPackage#eINSTANCE} when that field is accessed.

+         * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #eNS_URI

+         * @see #createPackageContents()

+         * @see #initializePackageContents()

+         * @generated

+         */

+        public static Partial2logicannotationsPackage init() {

+                if (isInited) return (Partial2logicannotationsPackage)EPackage.Registry.INSTANCE.getEPackage(Partial2logicannotationsPackage.eNS_URI);

+

+                // Obtain or create and register package

+                Partial2logicannotationsPackageImpl thePartial2logicannotationsPackage = (Partial2logicannotationsPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof Partial2logicannotationsPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new Partial2logicannotationsPackageImpl());

+

+                isInited = true;

+

+                // Initialize simple dependencies

+                LogiclanguagePackage.eINSTANCE.eClass();

+                LogicproblemPackage.eINSTANCE.eClass();

+                PartialinterpretationPackage.eINSTANCE.eClass();

+

+                // Create package meta-data objects

+                thePartial2logicannotationsPackage.createPackageContents();

+

+                // Initialize created meta-data

+                thePartial2logicannotationsPackage.initializePackageContents();

+

+                // Mark meta-data to indicate it can't be changed

+                thePartial2logicannotationsPackage.freeze();

+

+  

+                // Update the registry and return the package

+                EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, thePartial2logicannotationsPackage);

+                return thePartial2logicannotationsPackage;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EClass getPartialModelRelation2Assertion() {

+                return partialModelRelation2AssertionEClass;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialModelRelation2Assertion_Links() {

+                return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(0);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EReference getPartialModelRelation2Assertion_TargetRelation() {

+                return (EReference)partialModelRelation2AssertionEClass.getEStructuralFeatures().get(1);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public Partial2logicannotationsFactory getPartial2logicannotationsFactory() {

+                return (Partial2logicannotationsFactory)getEFactoryInstance();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private boolean isCreated = false;

+

+        /**

+         * Creates the meta-model objects for the package.  This method is

+         * guarded to have no affect on any invocation but its first.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void createPackageContents() {

+                if (isCreated) return;

+                isCreated = true;

+

+                // Create classes and their features

+                partialModelRelation2AssertionEClass = createEClass(PARTIAL_MODEL_RELATION2_ASSERTION);

+                createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__LINKS);

+                createEReference(partialModelRelation2AssertionEClass, PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        private boolean isInitialized = false;

+

+        /**

+         * Complete the initialization of the package and its meta-model.  This

+         * method is guarded to have no affect on any invocation but its first.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void initializePackageContents() {

+                if (isInitialized) return;

+                isInitialized = true;

+

+                // Initialize package

+                setName(eNAME);

+                setNsPrefix(eNS_PREFIX);

+                setNsURI(eNS_URI);

+

+                // Obtain other dependent packages

+                LogicproblemPackage theLogicproblemPackage = (LogicproblemPackage)EPackage.Registry.INSTANCE.getEPackage(LogicproblemPackage.eNS_URI);

+                PartialinterpretationPackage thePartialinterpretationPackage = (PartialinterpretationPackage)EPackage.Registry.INSTANCE.getEPackage(PartialinterpretationPackage.eNS_URI);

+                LogiclanguagePackage theLogiclanguagePackage = (LogiclanguagePackage)EPackage.Registry.INSTANCE.getEPackage(LogiclanguagePackage.eNS_URI);

+

+                // Create type parameters

+

+                // Set bounds for type parameters

+

+                // Add supertypes to classes

+                partialModelRelation2AssertionEClass.getESuperTypes().add(theLogicproblemPackage.getAssertionAnnotation());

+

+                // Initialize classes, features, and operations; add parameters

+                initEClass(partialModelRelation2AssertionEClass, PartialModelRelation2Assertion.class, "PartialModelRelation2Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+                initEReference(getPartialModelRelation2Assertion_Links(), thePartialinterpretationPackage.getRelationLink(), null, "links", null, 0, -1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEReference(getPartialModelRelation2Assertion_TargetRelation(), theLogiclanguagePackage.getRelationDeclaration(), null, "targetRelation", null, 1, 1, PartialModelRelation2Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+                // Create resource

+                createResource(eNS_URI);

+        }

+

+} //Partial2logicannotationsPackageImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java
new file mode 100644
index 00000000..92011d1c
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/impl/PartialModelRelation2AssertionImpl.java
@@ -0,0 +1,216 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RelationDeclaration;

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl.AssertionAnnotationImpl;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage;

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RelationLink;

+

+import java.util.Collection;

+

+import org.eclipse.emf.common.notify.Notification;

+import org.eclipse.emf.common.notify.NotificationChain;

+

+import org.eclipse.emf.common.util.EList;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+import org.eclipse.emf.ecore.util.EObjectContainmentEList;

+import org.eclipse.emf.ecore.util.InternalEList;

+

+/**

+ * <!-- begin-user-doc -->

+ * An implementation of the model object '<em><b>Partial Model Relation2 Assertion</b></em>'.

+ * <!-- end-user-doc -->

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl#getLinks <em>Links</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.impl.PartialModelRelation2AssertionImpl#getTargetRelation <em>Target Relation</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class PartialModelRelation2AssertionImpl extends AssertionAnnotationImpl implements PartialModelRelation2Assertion {

+        /**

+         * The cached value of the '{@link #getLinks() <em>Links</em>}' containment reference list.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getLinks()

+         * @generated

+         * @ordered

+         */

+        protected EList<RelationLink> links;

+

+        /**

+         * The cached value of the '{@link #getTargetRelation() <em>Target Relation</em>}' reference.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @see #getTargetRelation()

+         * @generated

+         * @ordered

+         */

+        protected RelationDeclaration targetRelation;

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected PartialModelRelation2AssertionImpl() {

+                super();

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        protected EClass eStaticClass() {

+                return Partial2logicannotationsPackage.Literals.PARTIAL_MODEL_RELATION2_ASSERTION;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public EList<RelationLink> getLinks() {

+                if (links == null) {

+                        links = new EObjectContainmentEList<RelationLink>(RelationLink.class, this, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS);

+                }

+                return links;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public RelationDeclaration getTargetRelation() {

+                if (targetRelation != null && targetRelation.eIsProxy()) {

+                        InternalEObject oldTargetRelation = (InternalEObject)targetRelation;

+                        targetRelation = (RelationDeclaration)eResolveProxy(oldTargetRelation);

+                        if (targetRelation != oldTargetRelation) {

+                                if (eNotificationRequired())

+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION, oldTargetRelation, targetRelation));

+                        }

+                }

+                return targetRelation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public RelationDeclaration basicGetTargetRelation() {

+                return targetRelation;

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public void setTargetRelation(RelationDeclaration newTargetRelation) {

+                RelationDeclaration oldTargetRelation = targetRelation;

+                targetRelation = newTargetRelation;

+                if (eNotificationRequired())

+                        eNotify(new ENotificationImpl(this, Notification.SET, Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION, oldTargetRelation, targetRelation));

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {

+                switch (featureID) {

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS:

+                                return ((InternalEList<?>)getLinks()).basicRemove(otherEnd, msgs);

+                }

+                return super.eInverseRemove(otherEnd, featureID, msgs);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public Object eGet(int featureID, boolean resolve, boolean coreType) {

+                switch (featureID) {

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS:

+                                return getLinks();

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION:

+                                if (resolve) return getTargetRelation();

+                                return basicGetTargetRelation();

+                }

+                return super.eGet(featureID, resolve, coreType);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @SuppressWarnings("unchecked")

+        @Override

+        public void eSet(int featureID, Object newValue) {

+                switch (featureID) {

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS:

+                                getLinks().clear();

+                                getLinks().addAll((Collection<? extends RelationLink>)newValue);

+                                return;

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION:

+                                setTargetRelation((RelationDeclaration)newValue);

+                                return;

+                }

+                super.eSet(featureID, newValue);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public void eUnset(int featureID) {

+                switch (featureID) {

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS:

+                                getLinks().clear();

+                                return;

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION:

+                                setTargetRelation((RelationDeclaration)null);

+                                return;

+                }

+                super.eUnset(featureID);

+        }

+

+        /**

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        @Override

+        public boolean eIsSet(int featureID) {

+                switch (featureID) {

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__LINKS:

+                                return links != null && !links.isEmpty();

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION__TARGET_RELATION:

+                                return targetRelation != null;

+                }

+                return super.eIsSet(featureID);

+        }

+

+} //PartialModelRelation2AssertionImpl

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java
new file mode 100644
index 00000000..2777a18d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsAdapterFactory.java
@@ -0,0 +1,159 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;

+

+import org.eclipse.emf.common.notify.Adapter;

+import org.eclipse.emf.common.notify.Notifier;

+

+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

+ * <!-- begin-user-doc -->

+ * The <b>Adapter Factory</b> for the model.

+ * It provides an adapter <code>createXXX</code> method for each class of the model.

+ * <!-- end-user-doc -->

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage

+ * @generated

+ */

+public class Partial2logicannotationsAdapterFactory extends AdapterFactoryImpl {

+        /**

+         * The cached model package.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected static Partial2logicannotationsPackage modelPackage;

+

+        /**

+         * Creates an instance of the adapter factory.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public Partial2logicannotationsAdapterFactory() {

+                if (modelPackage == null) {

+                        modelPackage = Partial2logicannotationsPackage.eINSTANCE;

+                }

+        }

+

+        /**

+         * Returns whether this factory is applicable for the type of the object.

+         * <!-- begin-user-doc -->

+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.

+         * <!-- end-user-doc -->

+         * @return whether this factory is applicable for the type of the object.

+         * @generated

+         */

+        @Override

+        public boolean isFactoryForType(Object object) {

+                if (object == modelPackage) {

+                        return true;

+                }

+                if (object instanceof EObject) {

+                        return ((EObject)object).eClass().getEPackage() == modelPackage;

+                }

+                return false;

+        }

+

+        /**

+         * The switch that delegates to the <code>createXXX</code> methods.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected Partial2logicannotationsSwitch<Adapter> modelSwitch =

+                new Partial2logicannotationsSwitch<Adapter>() {

+                        @Override

+                        public Adapter casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) {

+                                return createPartialModelRelation2AssertionAdapter();

+                        }

+                        @Override

+                        public Adapter caseAnnotation(Annotation object) {

+                                return createAnnotationAdapter();

+                        }

+                        @Override

+                        public Adapter caseAssertionAnnotation(AssertionAnnotation object) {

+                                return createAssertionAnnotationAdapter();

+                        }

+                        @Override

+                        public Adapter defaultCase(EObject object) {

+                                return createEObjectAdapter();

+                        }

+                };

+

+        /**

+         * Creates an adapter for the <code>target</code>.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param target the object to adapt.

+         * @return the adapter for the <code>target</code>.

+         * @generated

+         */

+        @Override

+        public Adapter createAdapter(Notifier target) {

+                return modelSwitch.doSwitch((EObject)target);

+        }

+

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion <em>Partial Model Relation2 Assertion</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion

+         * @generated

+         */

+        public Adapter createPartialModelRelation2AssertionAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation <em>Annotation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation

+         * @generated

+         */

+        public Adapter createAnnotationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation <em>Assertion Annotation</em>}'.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null so that we can easily ignore cases;

+         * it's useful to ignore a case when inheritance will catch all the cases anyway.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @see hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation

+         * @generated

+         */

+        public Adapter createAssertionAnnotationAdapter() {

+                return null;

+        }

+

+        /**

+         * Creates a new adapter for the default case.

+         * <!-- begin-user-doc -->

+         * This default implementation returns null.

+         * <!-- end-user-doc -->

+         * @return the new adapter.

+         * @generated

+         */

+        public Adapter createEObjectAdapter() {

+                return null;

+        }

+

+} //Partial2logicannotationsAdapterFactory

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java
new file mode 100644
index 00000000..f2a194e9
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partial2logicannotations/util/Partial2logicannotationsSwitch.java
@@ -0,0 +1,145 @@
+/**

+ */

+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.util;

+

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.Annotation;

+import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.AssertionAnnotation;

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.*;

+

+import org.eclipse.emf.ecore.EObject;

+import org.eclipse.emf.ecore.EPackage;

+

+import org.eclipse.emf.ecore.util.Switch;

+

+/**

+ * <!-- begin-user-doc -->

+ * The <b>Switch</b> for the model's inheritance hierarchy.

+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}

+ * to invoke the <code>caseXXX</code> method for each class of the model,

+ * starting with the actual class of the object

+ * and proceeding up the inheritance hierarchy

+ * until a non-null result is returned,

+ * which is the result of the switch.

+ * <!-- end-user-doc -->

+ * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage

+ * @generated

+ */

+public class Partial2logicannotationsSwitch<T> extends Switch<T> {

+        /**

+         * The cached model package

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        protected static Partial2logicannotationsPackage modelPackage;

+

+        /**

+         * Creates an instance of the switch.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @generated

+         */

+        public Partial2logicannotationsSwitch() {

+                if (modelPackage == null) {

+                        modelPackage = Partial2logicannotationsPackage.eINSTANCE;

+                }

+        }

+

+        /**

+         * Checks whether this is a switch for the given package.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @param ePackage the package in question.

+         * @return whether this is a switch for the given package.

+         * @generated

+         */

+        @Override

+        protected boolean isSwitchFor(EPackage ePackage) {

+                return ePackage == modelPackage;

+        }

+

+        /**

+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.

+         * <!-- begin-user-doc -->

+         * <!-- end-user-doc -->

+         * @return the first non-null result returned by a <code>caseXXX</code> call.

+         * @generated

+         */

+        @Override

+        protected T doSwitch(int classifierID, EObject theEObject) {

+                switch (classifierID) {

+                        case Partial2logicannotationsPackage.PARTIAL_MODEL_RELATION2_ASSERTION: {

+                                PartialModelRelation2Assertion partialModelRelation2Assertion = (PartialModelRelation2Assertion)theEObject;

+                                T result = casePartialModelRelation2Assertion(partialModelRelation2Assertion);

+                                if (result == null) result = caseAssertionAnnotation(partialModelRelation2Assertion);

+                                if (result == null) result = caseAnnotation(partialModelRelation2Assertion);

+                                if (result == null) result = defaultCase(theEObject);

+                                return result;

+                        }

+                        default: return defaultCase(theEObject);

+                }

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Partial Model Relation2 Assertion</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T casePartialModelRelation2Assertion(PartialModelRelation2Assertion object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Annotation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Annotation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseAnnotation(Annotation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>Assertion Annotation</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+         * @generated

+         */

+        public T caseAssertionAnnotation(AssertionAnnotation object) {

+                return null;

+        }

+

+        /**

+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.

+         * <!-- begin-user-doc -->

+         * This implementation returns null;

+         * returning a non-null result will terminate the switch, but this is the last case anyway.

+         * <!-- end-user-doc -->

+         * @param object the target of the switch.

+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.

+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)

+         * @generated

+         */

+        @Override

+        public T defaultCase(EObject object) {

+                return null;

+        }

+

+} //Partial2logicannotationsSwitch

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird
new file mode 100644
index 00000000..d5d1094d
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.aird
@@ -0,0 +1,658 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style">

+  <viewpoint:DAnalysis xmi:id="_Zid5oFYiEeiGP_xq1PQlCQ" selectedViews="_Z6R8sFYiEeiGP_xq1PQlCQ _Z6mFwFYiEeiGP_xq1PQlCQ _Z6nT4FYiEeiGP_xq1PQlCQ _Z6uooFYiEeiGP_xq1PQlCQ" version="12.1.0.201708031200">

+    <semanticResources>PartialModelAnnotations.ecore</semanticResources>

+    <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore</semanticResources>

+    <semanticResources>platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore</semanticResources>

+    <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources>

+    <semanticResources>PartialInterpretation.ecore</semanticResources>

+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6R8sFYiEeiGP_xq1PQlCQ">

+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>

+      <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" xmi:id="_aoyogFYiEeiGP_xq1PQlCQ" name="partial2logicannotations class diagram" repPath="#_anXsMFYiEeiGP_xq1PQlCQ">

+        <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>

+        <target xmi:type="ecore:EPackage" href="PartialModelAnnotations.ecore#/"/>

+      </ownedRepresentationDescriptors>

+    </ownedViews>

+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6mFwFYiEeiGP_xq1PQlCQ">

+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>

+    </ownedViews>

+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6nT4FYiEeiGP_xq1PQlCQ">

+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>

+    </ownedViews>

+    <ownedViews xmi:type="viewpoint:DView" xmi:id="_Z6uooFYiEeiGP_xq1PQlCQ">

+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>

+    </ownedViews>

+  </viewpoint:DAnalysis>

+  <diagram:DSemanticDiagram xmi:id="_aouXEFYiEeiGP_xq1PQlCQ" name="partial2logicannotations class diagram" uid="_anXsMFYiEeiGP_xq1PQlCQ">

+    <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_aouXEVYiEeiGP_xq1PQlCQ" source="DANNOTATION_CUSTOMIZATION_KEY">

+      <data xmi:type="diagram:ComputedStyleDescriptionRegistry" xmi:id="_aouXElYiEeiGP_xq1PQlCQ">

+        <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_ou9tAFamEeiGP_xq1PQlCQ" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">

+          <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          <labelFormat>bold</labelFormat>

+          <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/>

+        </computedStyleDescriptions>

+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan">

+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_EvSK4VasEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render">

+            <labelFormat>bold</labelFormat>

+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          </centerLabelStyleDescription>

+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_EvSK4lasEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">

+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>

+          </endLabelStyleDescription>

+        </computedStyleDescriptions>

+        <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_fTh24FayEeiGP_xq1PQlCQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">

+          <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          <labelFormat>bold</labelFormat>

+          <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+        </computedStyleDescriptions>

+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_fTqZwFayEeiGP_xq1PQlCQ" sourceArrow="InputArrow" routingStyle="manhattan">

+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          <beginLabelStyleDescription xmi:type="style:BeginLabelStyleDescription" xmi:id="_fTqZwVayEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:renderEOpposite">

+            <labelFormat>bold</labelFormat>

+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          </beginLabelStyleDescription>

+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_fTqZwlayEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render">

+            <labelFormat>bold</labelFormat>

+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          </endLabelStyleDescription>

+        </computedStyleDescriptions>

+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_D7GP4FbjEeiGP_xq1PQlCQ" sourceArrow="FillDiamond" routingStyle="manhattan">

+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_D7GP4VbjEeiGP_xq1PQlCQ" showIcon="false" labelExpression="service:render">

+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>

+          </centerLabelStyleDescription>

+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_D7GP4lbjEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">

+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>

+          </endLabelStyleDescription>

+        </computedStyleDescriptions>

+      </data>

+    </ownedAnnotationEntries>

+    <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_apWpMFYiEeiGP_xq1PQlCQ" source="GMF_DIAGRAMS">

+      <data xmi:type="notation:Diagram" xmi:id="_apWpMVYiEeiGP_xq1PQlCQ" type="Sirius" element="_aouXEFYiEeiGP_xq1PQlCQ" measurementUnit="Pixel">

+        <children xmi:type="notation:Node" xmi:id="_dimuQFYiEeiGP_xq1PQlCQ" type="2003" element="_diG_AFYiEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_diq_sFYiEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_dis04FYiEeiGP_xq1PQlCQ" type="7004">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_dis04VYiEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_dis04lYiEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_dinVUFYiEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_dinVUVYiEeiGP_xq1PQlCQ" x="136" y="270" width="198" height="38"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_ovB-cFamEeiGP_xq1PQlCQ" type="2003" element="_ou3mYFamEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_ovB-c1amEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_ovClgFamEeiGP_xq1PQlCQ" type="7004">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_ovClgVamEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_ovClglamEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_ovB-cVamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovB-clamEeiGP_xq1PQlCQ" x="170" y="75"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_-riSAFamEeiGP_xq1PQlCQ" type="2003" element="_-rYhAFamEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_-riSA1amEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_-riSBFamEeiGP_xq1PQlCQ" type="7004">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_-riSBVamEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_-riSBlamEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_-riSAVamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" italic="true"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-riSAlamEeiGP_xq1PQlCQ" x="465" y="250"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_pMJQ4FapEeiGP_xq1PQlCQ" type="2003" element="_pLphoFapEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_pMJ38FapEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_pMJ38VapEeiGP_xq1PQlCQ" type="7004">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_pMJ38lapEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_pMJ381apEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_pMJQ4VapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMJQ4lapEeiGP_xq1PQlCQ" x="475" y="450"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_pMKfAFapEeiGP_xq1PQlCQ" type="2003" element="_pLrW0FapEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_pMLGEFapEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_pMLtIFapEeiGP_xq1PQlCQ" type="7004">

+            <children xmi:type="notation:Node" xmi:id="_pMOwcFapEeiGP_xq1PQlCQ" type="3010" element="_pL9qsFapEeiGP_xq1PQlCQ">

+              <styles xmi:type="notation:FontStyle" xmi:id="_pMOwcVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+              <layoutConstraint xmi:type="notation:Location" xmi:id="_pMOwclapEeiGP_xq1PQlCQ"/>

+            </children>

+            <styles xmi:type="notation:SortingStyle" xmi:id="_pMLtIVapEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_pMLtIlapEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_pMKfAVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMKfAlapEeiGP_xq1PQlCQ" x="650" y="450"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_pMMUMFapEeiGP_xq1PQlCQ" type="2003" element="_pLtzEFapEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_pMM7QFapEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_pMM7QVapEeiGP_xq1PQlCQ" type="7004">

+            <styles xmi:type="notation:SortingStyle" xmi:id="_pMM7QlapEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_pMM7Q1apEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_pMMUMVapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMMUMlapEeiGP_xq1PQlCQ" x="297" y="450"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_EvatwFasEeiGP_xq1PQlCQ" type="2003" element="_EvBFIFasEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_EvbU0FasEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_Evci8FasEeiGP_xq1PQlCQ" type="7004">

+            <children xmi:type="notation:Node" xmi:id="_EvdxEFasEeiGP_xq1PQlCQ" type="3010" element="_EvOggFasEeiGP_xq1PQlCQ">

+              <styles xmi:type="notation:FontStyle" xmi:id="_EvdxEVasEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>

+              <layoutConstraint xmi:type="notation:Location" xmi:id="_EvdxElasEeiGP_xq1PQlCQ"/>

+            </children>

+            <styles xmi:type="notation:SortingStyle" xmi:id="_Evci8VasEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_Evci8lasEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_EvatwVasEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvatwlasEeiGP_xq1PQlCQ" x="457" y="580"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_fTs2AFayEeiGP_xq1PQlCQ" type="2003" element="_fTWQsFayEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_fTs2A1ayEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_fTtdEFayEeiGP_xq1PQlCQ" type="7004">

+            <children xmi:type="notation:Node" xmi:id="_fTuEIFayEeiGP_xq1PQlCQ" type="3010" element="_fThP0FayEeiGP_xq1PQlCQ">

+              <styles xmi:type="notation:FontStyle" xmi:id="_fTuEIVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>

+              <layoutConstraint xmi:type="notation:Location" xmi:id="_fTuEIlayEeiGP_xq1PQlCQ"/>

+            </children>

+            <children xmi:type="notation:Node" xmi:id="_fTvSQFayEeiGP_xq1PQlCQ" type="3010" element="_fTid8FayEeiGP_xq1PQlCQ">

+              <styles xmi:type="notation:FontStyle" xmi:id="_fTvSQVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>

+              <layoutConstraint xmi:type="notation:Location" xmi:id="_fTvSQlayEeiGP_xq1PQlCQ"/>

+            </children>

+            <styles xmi:type="notation:SortingStyle" xmi:id="_fTtdEVayEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_fTtdElayEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_fTs2AVayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTs2AlayEeiGP_xq1PQlCQ" x="445" y="80"/>

+        </children>

+        <children xmi:type="notation:Node" xmi:id="_4FAb8FdAEeiGP_xq1PQlCQ" type="2003" element="_4EoogFdAEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_4FAb81dAEeiGP_xq1PQlCQ" type="5007"/>

+          <children xmi:type="notation:Node" xmi:id="_4FBDAFdAEeiGP_xq1PQlCQ" type="7004">

+            <children xmi:type="notation:Node" xmi:id="_4FBqEFdAEeiGP_xq1PQlCQ" type="3010" element="_4E2q8FdAEeiGP_xq1PQlCQ">

+              <styles xmi:type="notation:FontStyle" xmi:id="_4FBqEVdAEeiGP_xq1PQlCQ" fontColor="8224125" fontName="Segoe UI" fontHeight="8" italic="true"/>

+              <layoutConstraint xmi:type="notation:Location" xmi:id="_4FBqEldAEeiGP_xq1PQlCQ"/>

+            </children>

+            <children xmi:type="notation:Node" xmi:id="_4FBqE1dAEeiGP_xq1PQlCQ" type="3010" element="_4E3SAVdAEeiGP_xq1PQlCQ">

+              <styles xmi:type="notation:FontStyle" xmi:id="_4FBqFFdAEeiGP_xq1PQlCQ" fontColor="8224125" fontName="Segoe UI" fontHeight="8" italic="true"/>

+              <layoutConstraint xmi:type="notation:Location" xmi:id="_4FBqFVdAEeiGP_xq1PQlCQ"/>

+            </children>

+            <styles xmi:type="notation:SortingStyle" xmi:id="_4FBDAVdAEeiGP_xq1PQlCQ"/>

+            <styles xmi:type="notation:FilteringStyle" xmi:id="_4FBDAldAEeiGP_xq1PQlCQ"/>

+          </children>

+          <styles xmi:type="notation:ShapeStyle" xmi:id="_4FAb8VdAEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_4FAb8ldAEeiGP_xq1PQlCQ" x="139" y="360" height="73"/>

+        </children>

+        <styles xmi:type="notation:DiagramStyle" xmi:id="_apWpMlYiEeiGP_xq1PQlCQ"/>

+        <edges xmi:type="notation:Edge" xmi:id="_ovFBwFamEeiGP_xq1PQlCQ" type="4001" element="_ou_iMFamEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_ovB-cFamEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_ovG28FamEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovG28VamEeiGP_xq1PQlCQ" y="-10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_ovHeAFamEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovHeAVamEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_ovIFEFamEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_ovIFEVamEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_ovFBwVamEeiGP_xq1PQlCQ" routing="Tree"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_ovFBwlamEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ovFBw1amEeiGP_xq1PQlCQ" points="[-99, -40, 265, 105]$[-304, -122, 60, 23]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ovKhUFamEeiGP_xq1PQlCQ" id="(0.5,1.3611111111111112)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_ovKhUVamEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_-ri5EFamEeiGP_xq1PQlCQ" type="4001" element="_-rf1wFamEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_-rjgIFamEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgIVamEeiGP_xq1PQlCQ" x="9" y="3"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_-rjgIlamEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgI1amEeiGP_xq1PQlCQ" x="-18" y="10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_-rjgJFamEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_-rjgJVamEeiGP_xq1PQlCQ" x="-2" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_-ri5EVamEeiGP_xq1PQlCQ" routing="Rectilinear"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_-ri5ElamEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-ri5E1amEeiGP_xq1PQlCQ" points="[98, -22, -192, 2]$[231, -22, -59, 2]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-rkHMFamEeiGP_xq1PQlCQ" id="(0.5,1.3611111111111112)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-rkHMVamEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_pMP-kFapEeiGP_xq1PQlCQ" type="4001" element="_pMDxUFapEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_pMQloFapEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMQloVapEeiGP_xq1PQlCQ" y="-10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_pMQlolapEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMRMsFapEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_pMRMsVapEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMRMslapEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMP-kVapEeiGP_xq1PQlCQ" routing="Tree"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_pMP-klapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMP-k1apEeiGP_xq1PQlCQ" points="[0, 0, -404, -199]$[404, 199, 0, 0]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMRzwFapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMRzwVapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_pMRzwlapEeiGP_xq1PQlCQ" type="4001" element="_pMFmgFapEeiGP_xq1PQlCQ" source="_pMKfAFapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_pMSa0FapEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa0VapEeiGP_xq1PQlCQ" y="-10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_pMSa0lapEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa01apEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_pMSa1FapEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMSa1VapEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMRzw1apEeiGP_xq1PQlCQ" routing="Tree"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_pMRzxFapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMRzxVapEeiGP_xq1PQlCQ" points="[0, 0, -404, -199]$[404, 199, 0, 0]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMTB4FapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMTB4VapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_pMTB4lapEeiGP_xq1PQlCQ" type="4001" element="_pMG0oFapEeiGP_xq1PQlCQ" source="_pMMUMFapEeiGP_xq1PQlCQ" target="_-riSAFamEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_pMTo8FapEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMTo8VapEeiGP_xq1PQlCQ" x="-41" y="-10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_pMUQAFapEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMUQAVapEeiGP_xq1PQlCQ" x="-23" y="-14"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_pMUQAlapEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_pMUQA1apEeiGP_xq1PQlCQ" x="-31" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_pMTB41apEeiGP_xq1PQlCQ" routing="Tree"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_pMTB5FapEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_pMTB5VapEeiGP_xq1PQlCQ" points="[0, 49, 232, 124]$[0, 16, 232, 91]$[-231, 16, 1, 91]$[-231, -26, 1, 49]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMU3EFapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_pMU3EVapEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_Eve_MFasEeiGP_xq1PQlCQ" type="4001" element="_EvQ8wFasEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_EvfmQFasEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmQVasEeiGP_xq1PQlCQ" x="-4"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_EvfmQlasEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmQ1asEeiGP_xq1PQlCQ" x="20"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_EvfmRFasEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvfmRVasEeiGP_xq1PQlCQ" x="3"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_Eve_MVasEeiGP_xq1PQlCQ" routing="Rectilinear"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_Eve_MlasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Eve_M1asEeiGP_xq1PQlCQ" points="[-54, 49, -53, -81]$[-54, 81, -53, -49]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EvgNUFasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EvgNUVasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_EvgNUlasEeiGP_xq1PQlCQ" type="4001" element="_EvSx8FasEeiGP_xq1PQlCQ" source="_pMJQ4FapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_Evg0YFasEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0YVasEeiGP_xq1PQlCQ" x="-4"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_Evg0YlasEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0Y1asEeiGP_xq1PQlCQ" x="20"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_Evg0ZFasEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evg0ZVasEeiGP_xq1PQlCQ" x="-4" y="-10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_EvgNU1asEeiGP_xq1PQlCQ" routing="Rectilinear"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_EvgNVFasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_EvgNVVasEeiGP_xq1PQlCQ" points="[56, 49, 57, -81]$[56, 81, 57, -49]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Evg0ZlasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Evg0Z1asEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_EvhbcFasEeiGP_xq1PQlCQ" type="4001" element="_EvUnIFasEeiGP_xq1PQlCQ" source="_pMMUMFapEeiGP_xq1PQlCQ" target="_EvatwFasEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_EvhbdFasEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvhbdVasEeiGP_xq1PQlCQ" x="-61" y="47"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_EvhbdlasEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Evhbd1asEeiGP_xq1PQlCQ" x="22"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_EvhbeFasEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EvhbeVasEeiGP_xq1PQlCQ" x="-11" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_EvhbcVasEeiGP_xq1PQlCQ" routing="Rectilinear"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_EvhbclasEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Evhbc1asEeiGP_xq1PQlCQ" points="[1, 49, -177, -81]$[1, 141, -177, 11]$[82, 141, -96, 11]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EviCgFasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EviCgVasEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_fTv5UFayEeiGP_xq1PQlCQ" type="4001" element="_fTpLoFayEeiGP_xq1PQlCQ" source="_ovB-cFamEeiGP_xq1PQlCQ" target="_fTs2AFayEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_fTwgYFayEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTwgYVayEeiGP_xq1PQlCQ" x="-18" y="-10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_fTxHcFayEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTxHcVayEeiGP_xq1PQlCQ" x="66" y="10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_fTxHclayEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_fTxHc1ayEeiGP_xq1PQlCQ" x="-29" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_fTv5UVayEeiGP_xq1PQlCQ" routing="Rectilinear"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_fTv5UlayEeiGP_xq1PQlCQ" fontName="Segoe UI" fontHeight="8" bold="true"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_fTv5U1ayEeiGP_xq1PQlCQ" points="[64, -4, -206, -9]$[211, -4, -59, -9]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fTxHdFayEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_fTxugFayEeiGP_xq1PQlCQ" id="(0.5,0.5)"/>

+        </edges>

+        <edges xmi:type="notation:Edge" xmi:id="_8BAXcFdAEeiGP_xq1PQlCQ" type="4001" element="_8AvRsFdAEeiGP_xq1PQlCQ" source="_dimuQFYiEeiGP_xq1PQlCQ" target="_4FAb8FdAEeiGP_xq1PQlCQ">

+          <children xmi:type="notation:Node" xmi:id="_8BAXdFdAEeiGP_xq1PQlCQ" type="6001">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXdVdAEeiGP_xq1PQlCQ" x="1" y="54"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_8BAXdldAEeiGP_xq1PQlCQ" type="6002">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXd1dAEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <children xmi:type="notation:Node" xmi:id="_8BAXeFdAEeiGP_xq1PQlCQ" type="6003">

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_8BAXeVdAEeiGP_xq1PQlCQ" y="10"/>

+          </children>

+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_8BAXcVdAEeiGP_xq1PQlCQ" routing="Rectilinear"/>

+          <styles xmi:type="notation:FontStyle" xmi:id="_8BAXcldAEeiGP_xq1PQlCQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_8BAXc1dAEeiGP_xq1PQlCQ" points="[9, 0, 0, -51]$[9, 51, 0, 0]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8BA-gFdAEeiGP_xq1PQlCQ" id="(0.4897959183673469,1.0)"/>

+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_8BA-gVdAEeiGP_xq1PQlCQ" id="(0.5368421052631579,0.0)"/>

+        </edges>

+      </data>

+    </ownedAnnotationEntries>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_diG_AFYiEeiGP_xq1PQlCQ" name="PartialModelRelation2Assertion" tooltipText="" outgoingEdges="_ou_iMFamEeiGP_xq1PQlCQ _-rf1wFamEeiGP_xq1PQlCQ _8AvRsFdAEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_diQwAFYiEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ou3mYFamEeiGP_xq1PQlCQ" name="AssertionAnnotation" tooltipText="" outgoingEdges="_fTpLoFayEeiGP_xq1PQlCQ" incomingEdges="_ou_iMFamEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>

+      <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_ou40gVamEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_ou40gFamEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ou_iMFamEeiGP_xq1PQlCQ" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_ou3mYFamEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion"/>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_ovAwUFamEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">

+        <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>

+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_ovAwUVamEeiGP_xq1PQlCQ" showIcon="false">

+          <labelFormat>italic</labelFormat>

+        </beginLabelStyle>

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_ovAwUlamEeiGP_xq1PQlCQ" showIcon="false"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_-rYhAFamEeiGP_xq1PQlCQ" name="RelationLink" tooltipText="" incomingEdges="_-rf1wFamEeiGP_xq1PQlCQ _pMDxUFapEeiGP_xq1PQlCQ _pMFmgFapEeiGP_xq1PQlCQ _pMG0oFapEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RelationLink"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RelationLink"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_-rZIEVamEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_-rZIEFamEeiGP_xq1PQlCQ" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">

+        <labelFormat>italic</labelFormat>

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_-rf1wFamEeiGP_xq1PQlCQ" name="[0..*] links" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/>

+      <semanticElements xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_D7G28FbjEeiGP_xq1PQlCQ" description="_D7GP4FbjEeiGP_xq1PQlCQ" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_D7G28VbjEeiGP_xq1PQlCQ" showIcon="false"/>

+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_D7G28lbjEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelColor="39,76,114"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLphoFapEeiGP_xq1PQlCQ" name="BinaryElementRelationLink" tooltipText="" outgoingEdges="_pMDxUFapEeiGP_xq1PQlCQ _EvQ8wFasEeiGP_xq1PQlCQ _EvSx8FasEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLqvwVapEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLqvwFapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLrW0FapEeiGP_xq1PQlCQ" name="NaryRelationLink" tooltipText="" outgoingEdges="_pMFmgFapEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLsk8FapEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLr94FapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+      <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_pL9qsFapEeiGP_xq1PQlCQ" name=" elements : NaryRelationLinkElement" tooltipText="">

+        <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//NaryRelationLink/elements"/>

+        <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//NaryRelationLink/elements"/>

+        <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_pL-RwFapEeiGP_xq1PQlCQ" labelAlignment="LEFT" color="114,159,207">

+          <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/>

+        </ownedStyle>

+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>

+      </ownedElements>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_pLtzEFapEeiGP_xq1PQlCQ" name="UnaryElementRelationLink" tooltipText="" outgoingEdges="_pMG0oFapEeiGP_xq1PQlCQ _EvUnIFasEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_pLvBMVapEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_pLvBMFapEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMDxUFapEeiGP_xq1PQlCQ" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//BinaryElementRelationLink"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_pME_c1apEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pME_cFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">

+        <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>

+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pME_cVapEeiGP_xq1PQlCQ" showIcon="false">

+          <labelFormat>italic</labelFormat>

+        </beginLabelStyle>

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pME_clapEeiGP_xq1PQlCQ" showIcon="false"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMFmgFapEeiGP_xq1PQlCQ" sourceNode="_pLrW0FapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//NaryRelationLink"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_pMGNk1apEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pMGNkFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">

+        <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>

+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pMGNkVapEeiGP_xq1PQlCQ" showIcon="false">

+          <labelFormat>italic</labelFormat>

+        </beginLabelStyle>

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pMGNklapEeiGP_xq1PQlCQ" showIcon="false"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_pMG0oFapEeiGP_xq1PQlCQ" sourceNode="_pLtzEFapEeiGP_xq1PQlCQ" targetNode="_-rYhAFamEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>

+      <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//UnaryElementRelationLink"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_pMHbs1apEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_pMHbsFapEeiGP_xq1PQlCQ" targetArrow="InputClosedArrow" routingStyle="tree">

+        <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>

+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_pMHbsVapEeiGP_xq1PQlCQ" showIcon="false">

+          <labelFormat>italic</labelFormat>

+        </beginLabelStyle>

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_pMHbslapEeiGP_xq1PQlCQ" showIcon="false"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_EvBFIFasEeiGP_xq1PQlCQ" name="DefinedElement" tooltipText="" incomingEdges="_EvQ8wFasEeiGP_xq1PQlCQ _EvSx8FasEeiGP_xq1PQlCQ _EvUnIFasEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>

+      <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_EvC6UFasEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_EvCTQFasEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+      <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_EvOggFasEeiGP_xq1PQlCQ" name=" definedInType : TypeDefinition" tooltipText="">

+        <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/>

+        <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/>

+        <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_EvPHkFasEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_ou9tAFamEeiGP_xq1PQlCQ" color="114,159,207">

+          <labelFormat>bold</labelFormat>

+        </ownedStyle>

+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>

+      </ownedElements>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvQ8wFasEeiGP_xq1PQlCQ" name="[1..1] param1" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param1"/>

+      <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param1"/>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvSK41asEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvSK5FasEeiGP_xq1PQlCQ" showIcon="false">

+          <customFeatures>labelSize</customFeatures>

+          <labelFormat>bold</labelFormat>

+        </centerLabelStyle>

+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvSK5VasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114">

+          <customFeatures>labelSize</customFeatures>

+        </endLabelStyle>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvSx8FasEeiGP_xq1PQlCQ" name="[1..1] param2" sourceNode="_pLphoFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param2"/>

+      <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//BinaryElementRelationLink/param2"/>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvTZAFasEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvUAEFasEeiGP_xq1PQlCQ" showIcon="false">

+          <customFeatures>labelSize</customFeatures>

+          <labelFormat>bold</labelFormat>

+        </centerLabelStyle>

+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvUAEVasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114">

+          <customFeatures>labelSize</customFeatures>

+        </endLabelStyle>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_EvUnIFasEeiGP_xq1PQlCQ" name="[1..1] param1" sourceNode="_pLtzEFapEeiGP_xq1PQlCQ" targetNode="_EvBFIFasEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//UnaryElementRelationLink/param1"/>

+      <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//UnaryElementRelationLink/param1"/>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_EvV1QFasEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_EvV1QVasEeiGP_xq1PQlCQ" showIcon="false">

+          <customFeatures>labelSize</customFeatures>

+          <labelFormat>bold</labelFormat>

+        </centerLabelStyle>

+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_EvV1QlasEeiGP_xq1PQlCQ" showIcon="false" labelColor="39,76,114">

+          <customFeatures>labelSize</customFeatures>

+        </endLabelStyle>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_fTWQsFayEeiGP_xq1PQlCQ" name="Assertion" tooltipText="" incomingEdges="_fTpLoFayEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion"/>

+      <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_fTXe0VayEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_fTXe0FayEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+      <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_fThP0FayEeiGP_xq1PQlCQ" name="name : EString" tooltipText="">

+        <target xmi:type="ecore:EAttribute" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/name"/>

+        <semanticElements xmi:type="ecore:EAttribute" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/name"/>

+        <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_fTh24VayEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_fTh24FayEeiGP_xq1PQlCQ">

+          <labelFormat>bold</labelFormat>

+        </ownedStyle>

+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>

+      </ownedElements>

+      <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_fTid8FayEeiGP_xq1PQlCQ" name=" value : Term" tooltipText="">

+        <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/value"/>

+        <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/value"/>

+        <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_fTid8VayEeiGP_xq1PQlCQ" labelAlignment="LEFT" description="_ou9tAFamEeiGP_xq1PQlCQ" color="114,159,207">

+          <labelFormat>bold</labelFormat>

+        </ownedStyle>

+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>

+      </ownedElements>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_fTpLoFayEeiGP_xq1PQlCQ" sourceNode="_ou3mYFamEeiGP_xq1PQlCQ" targetNode="_fTWQsFayEeiGP_xq1PQlCQ" beginLabel="[0..*] annotations" endLabel="[1..1] target">

+      <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/>

+      <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Assertion/annotations"/>

+      <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation/target"/>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_fTrA0FayEeiGP_xq1PQlCQ" description="_fTqZwFayEeiGP_xq1PQlCQ" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0">

+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_fTrA0VayEeiGP_xq1PQlCQ" showIcon="false">

+          <labelFormat>bold</labelFormat>

+        </beginLabelStyle>

+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_fTrA0layEeiGP_xq1PQlCQ" showIcon="false">

+          <labelFormat>bold</labelFormat>

+        </endLabelStyle>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_4EoogFdAEeiGP_xq1PQlCQ" name="RelationDeclaration" tooltipText="" incomingEdges="_8AvRsFdAEeiGP_xq1PQlCQ" width="12" height="10">

+      <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>

+      <semanticElements xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>

+      <decorations xmi:type="viewpoint:Decoration" xmi:id="_4Ep2oFdAEeiGP_xq1PQlCQ">

+        <description xmi:type="description:SemanticBasedDecoration" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@decorationDescriptionsSet/@decorationDescriptions[name='External']"/>

+      </decorations>

+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

+      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_4EpPkFdAEeiGP_xq1PQlCQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">

+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>

+      <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4E2q8FdAEeiGP_xq1PQlCQ" name=" parameters : TypeReference" tooltipText="">

+        <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/parameters"/>

+        <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/parameters"/>

+        <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_4E3SAFdAEeiGP_xq1PQlCQ" labelColor="125,125,125" labelAlignment="LEFT">

+          <labelFormat>italic</labelFormat>

+          <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@conditionnalStyles.0/@style"/>

+        </ownedStyle>

+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>

+      </ownedElements>

+      <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_4E3SAVdAEeiGP_xq1PQlCQ" name=" annotations : RelationAnnotation" tooltipText="">

+        <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/>

+        <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Relation/annotations"/>

+        <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_4E3SAldAEeiGP_xq1PQlCQ" labelColor="125,125,125" labelAlignment="LEFT">

+          <labelFormat>italic</labelFormat>

+          <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@conditionnalStyles.0/@style"/>

+        </ownedStyle>

+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/>

+      </ownedElements>

+    </ownedDiagramElements>

+    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_8AvRsFdAEeiGP_xq1PQlCQ" name="[1..1] targetRelation" sourceNode="_diG_AFYiEeiGP_xq1PQlCQ" targetNode="_4EoogFdAEeiGP_xq1PQlCQ">

+      <target xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/targetRelation"/>

+      <semanticElements xmi:type="ecore:EReference" href="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/targetRelation"/>

+      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="__TcYkFdAEeiGP_xq1PQlCQ" description="_EvSK4FasEeiGP_xq1PQlCQ" routingStyle="manhattan" strokeColor="0,0,0">

+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="__TcYkVdAEeiGP_xq1PQlCQ" showIcon="false">

+          <labelFormat>bold</labelFormat>

+        </centerLabelStyle>

+        <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="__TcYkldAEeiGP_xq1PQlCQ" labelSize="6" showIcon="false" labelColor="39,76,114"/>

+      </ownedStyle>

+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>

+    </ownedDiagramElements>

+    <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>

+    <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_aouXFFYiEeiGP_xq1PQlCQ"/>

+    <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>

+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/>

+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/>

+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/>

+    <target xmi:type="ecore:EPackage" href="PartialModelAnnotations.ecore#/"/>

+  </diagram:DSemanticDiagram>

+</xmi:XMI>

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.ecore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.ecore
new file mode 100644
index 00000000..3a1c20d1
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.ecore
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="partial2logicannotations" nsURI="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation"

+    nsPrefix="partial2logicannotations">

+  <eClassifiers xsi:type="ecore:EClass" name="PartialModelRelation2Assertion" eSuperTypes="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//AssertionAnnotation">

+    <eStructuralFeatures xsi:type="ecore:EReference" name="links" upperBound="-1"

+        eType="ecore:EClass PartialInterpretation.ecore#//RelationLink" containment="true"/>

+    <eStructuralFeatures xsi:type="ecore:EReference" name="targetRelation" lowerBound="1"

+        eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/>

+  </eClassifiers>

+</ecore:EPackage>

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel
new file mode 100644
index 00000000..0fd889d2
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialModelAnnotations.genmodel
@@ -0,0 +1,16 @@
+<?xml version="1.0" encoding="UTF-8"?>

+<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"

+    xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" modelDirectory="/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen"

+    modelPluginID="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage"

+    modelName="PartialModelAnnotations" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"

+    importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0" copyrightFields="false"

+    usedGenPackages="../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel#//logiclanguage ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.genmodel#//logicproblem PartialInterpretation.genmodel#//partialinterpretation"

+    operationReflection="true" importOrganizing="true">

+  <foreignModel>PartialModelAnnotations.ecore</foreignModel>

+  <genPackages prefix="Partial2logicannotations" basePackage="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage"

+      disposableProviderFactory="true" ecorePackage="PartialModelAnnotations.ecore#/">

+    <genClasses ecoreClass="PartialModelAnnotations.ecore#//PartialModelRelation2Assertion">

+      <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference PartialModelAnnotations.ecore#//PartialModelRelation2Assertion/links"/>

+    </genClasses>

+  </genPackages>

+</genmodel:GenModel>

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml
index b9248505..37f467c9 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/plugin.xml
@@ -14,4 +14,12 @@
             genModel="model/PartialInterpretation.genmodel"/>

    </extension>

 

+   <extension point="org.eclipse.emf.ecore.generated_package">

+      <!-- @generated PartialModelAnnotations -->

+      <package

+            uri="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation"

+            class="hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsPackage"

+            genModel="model/PartialModelAnnotations.genmodel"/>

+   </extension>

+

 </plugin>

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend
index d2b59754..d2b59754 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2Logic.xtend
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
index 9a737ab9..9a737ab9 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend
index 09a7fa60..3a85536b 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/PartialInterpretation2Logic.xtend
@@ -1,12 +1,14 @@
 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic

 

 import hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder

+import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguageFactory

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicDeclaration

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Type

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDeclaration

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.TypeDefinition

 import hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.LogicProblem

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.Partial2logicannotationsFactory

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.BinaryElementRelationLink

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation

 import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialRelationInterpretation

@@ -17,11 +19,10 @@ import java.util.HashMap
 import java.util.HashSet

 import java.util.Map

 import java.util.Set

+import org.eclipse.emf.ecore.util.EcoreUtil

 import org.eclipse.xtend.lib.annotations.Data

 

 import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.*

-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.DefinedElement

-import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.SymbolicValue

 

 @Data class PartialInterpretation2Logic_Trace {

         Map<DefinedElement,DefinedElement> new2Old = new HashMap

@@ -59,12 +60,13 @@ class PartialInterpretation2Logic {
         }

         

         private def addExistingElementToProblem(LogicProblem p, PartialInterpretation i,PartialInterpretation2Logic_Trace trace) {

-                val newElements = new ArrayList(i.newElements)

-                var newElementIndex = 1

-                for(newElement : newElements) {

-                        newElement.name = '''o «newElementIndex++»'''

-                        p.elements += newElement

-                }

+//              val newElements = new ArrayList(i.newElements)

+//              var newElementIndex = 1

+//              for(newElement : newElements) {

+//                      newElement.name = '''o «newElementIndex++»'''

+//                      p.elements += newElement

+//              }

+                p.elements += i.newElements

         }

         

         private def splitTypeIntoTwo(LogicProblem p, PartialTypeInterpratation partialTypeDeclaration,PartialInterpretation2Logic_Trace trace) {

@@ -133,6 +135,7 @@ class PartialInterpretation2Logic {
                 val relation = r.interpretationOf

                 val links = r.relationlinks

                 if(links.size == 0) {

+                        // No assertion for empty relations

                         return

                 } else {

                         val term = if(links.size == 1) {

@@ -141,9 +144,14 @@ class PartialInterpretation2Logic {
                                 links.map[link|createLink(link,relation)].And

                         }

                         val assertion = Assertion('''PartialInterpretation «r.interpretationOf.name»''',term)

+                        val ^annotation= Partial2logicannotationsFactory.eINSTANCE.createPartialModelRelation2Assertion

+                        ^annotation.target = assertion

+                        ^annotation.targetRelation = relation

+                        ^annotation.links += links.map[EcoreUtil.copy(it)]

                         //val error= assertion.eAllContents.toIterable.filter(SymbolicValue).filter[it.symbolicReference === null] 

                         //error.forEach[println("error")]

                         p.add(assertion)

+                        p.annotations+= ^annotation

                 }

                 

         }

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend
index 45fd2c6d..ad9d882b 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/PartialInterpretationInitialiser.xtend
@@ -27,6 +27,8 @@ import org.eclipse.viatra.query.runtime.emf.EMFScope
 import org.eclipse.xtend.lib.annotations.Data

 

 import static extension hu.bme.mit.inf.dslreasoner.util.CollectionsUtil.*

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partial2logicannotations.PartialModelRelation2Assertion

+import org.eclipse.emf.ecore.util.EcoreUtil

 

 @Data class Problem2PartialInterpretationTrace {

         Map<TypeDeclaration, PartialTypeInterpratation> type2Interpretation = new HashMap

@@ -99,6 +101,11 @@ class PartialInterpretationInitialiser {
                                                 

                         it.partialrelationinterpretation += problem.relations.filter(RelationDeclaration)

                                 .map[initialisePartialRelationInterpretation(trace)]

+                        for(pMR2A : problem.annotations.filter(PartialModelRelation2Assertion)) {

+                                val relation = pMR2A.targetRelation

+                                val interpretation = relation.lookup(trace.relation2Interpretation)

+                                interpretation.relationlinks+=pMR2A.links.map[EcoreUtil.copy(it)]

+                        }

                         it.partialfunctioninterpretation += problem.functions.filter(FunctionDeclaration)

                                 .map[initialisePartialFunctionInterpretation(trace)]

                         it.partialconstantinterpretation += problem.constants.filter(ConstantDeclaration)

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
index ef1af4dd..51c10b23 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
@@ -9,7 +9,6 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
  hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0",
  hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0",
  hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0",
- hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic;bundle-version="1.0.0",
  com.google.guava,
  org.eclipse.xtext.xbase.lib,
  org.eclipse.xtend.lib,
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend
index 446a0686..b8edb2f5 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend
@@ -2,9 +2,6 @@ package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz
 

 import guru.nidi.graphviz.attribute.Shape

 import guru.nidi.graphviz.attribute.Style

-import guru.nidi.graphviz.engine.Format

-import guru.nidi.graphviz.engine.Graphviz

-import guru.nidi.graphviz.engine.GraphvizV8Engine

 import guru.nidi.graphviz.model.Graph

 import guru.nidi.graphviz.model.Label

 import guru.nidi.graphviz.model.Node