1 files changed, 4 insertions, 1 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend
index 52a390a8..013e53e1 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/RelationConstraintCalculator.xtend
@@ -117,9 +117,12 @@ class RelationConstraintCalculator {
                         var inverseUpperMultiplicity = -1
                         val inverseRelation = inverseRelations.get(relation)
                         if (inverseRelation !== null) {
-                                inverseUpperMultiplicity = upperMultiplicities.get(relation)
+                                inverseUpperMultiplicity = upperMultiplicities.get(inverseRelation)
                                 container = containmentRelations.contains(inverseRelation)
                         }
+                        if (containment) {
+                                inverseUpperMultiplicity = 1
+                        }
                         val constraint = new RelationMultiplicityConstraint(relation, inverseRelation, containment, container,
                                 lowerMultiplicity, upperMultiplicity, inverseUpperMultiplicity)
                         if (constraint.isActive) {