5 files changed, 10 insertions, 11 deletions

diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
index aaef3326..13e25d0a 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
@@ -115,8 +115,8 @@ public class ModelInitializer {
                                 null, TruthValue.UNKNOWN));
                 putRelationInfo(builtinSymbols.contains(), new RelationInfo(ContainmentHierarchyTranslator.CONTAINS_SYMBOL,
                                 null, TruthValue.UNKNOWN));
-                putRelationInfo(builtinSymbols.invalidNumberOfContainers(),
-                                new RelationInfo(ContainmentHierarchyTranslator.INVALID_NUMBER_OF_CONTAINERS, TruthValue.FALSE,
+                putRelationInfo(builtinSymbols.invalidContainer(),
+                                new RelationInfo(ContainmentHierarchyTranslator.INVALID_CONTAINER, TruthValue.FALSE,
                                                 TruthValue.FALSE));
                 collectNodes();
                 collectPartialSymbols();
diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
index 70a86b51..c87fa044 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
@@ -9,5 +9,5 @@ import tools.refinery.language.model.problem.*;
 
 public record BuiltinSymbols(Problem problem, ClassDeclaration node, PredicateDefinition equals,
                                                          PredicateDefinition exists, ClassDeclaration contained, PredicateDefinition contains,
-                                                         PredicateDefinition invalidNumberOfContainers) {
+                                                         PredicateDefinition invalidContainer) {
 }
diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java
index 9f08654c..59e26561 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/utils/ProblemDesugarer.java
@@ -43,9 +43,8 @@ public class ProblemDesugarer {
                 var exists = doGetDeclaration(builtin, PredicateDefinition.class, "exists");
                 var contained = doGetDeclaration(builtin, ClassDeclaration.class, "contained");
                 var contains = doGetDeclaration(builtin, PredicateDefinition.class, "contains");
-                var invalidNumberOfContainers = doGetDeclaration(builtin, PredicateDefinition.class,
-                                "invalidNumberOfContainers");
-                return new BuiltinSymbols(builtin, node, equals, exists, contained,     contains, invalidNumberOfContainers);
+                var invalidContainer = doGetDeclaration(builtin, PredicateDefinition.class, "invalidContainer");
+                return new BuiltinSymbols(builtin, node, equals, exists, contained, contains, invalidContainer);
         }
 
         private <T extends Statement & NamedElement> T doGetDeclaration(Problem builtin, Class<T> type, String name) {
diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem
index 8570e363..022c3167 100644
--- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem
+++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem
@@ -13,4 +13,4 @@ abstract class contained extends node.
 
 pred contains(container, contained contained).
 
-error invalidNumberOfContainers(contained contained).
+error invalidContainer(contained contained).
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java
index 37eac022..dda9f2c8 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/containment/ContainmentHierarchyTranslator.java
@@ -42,7 +42,7 @@ import static tools.refinery.store.reasoning.literal.PartialLiterals.must;
 
 public class ContainmentHierarchyTranslator implements ModelStoreConfiguration {
         public static final PartialRelation CONTAINED_SYMBOL = new PartialRelation("contained", 1);
-        public static final PartialRelation INVALID_NUMBER_OF_CONTAINERS = new PartialRelation("invalidNumberOfContainers",
+        public static final PartialRelation INVALID_CONTAINER = new PartialRelation("invalidContainer",
                         1);
         public static final PartialRelation CONTAINS_SYMBOL = new PartialRelation("contains", 2);
 
@@ -97,7 +97,7 @@ public class ContainmentHierarchyTranslator implements ModelStoreConfiguration {
         public void apply(ModelStoreBuilder storeBuilder) {
                 storeBuilder.symbol(containsStorage);
                 translateContains(storeBuilder);
-                translateInvalidNumberOfContainers(storeBuilder);
+                translateInvalidContainer(storeBuilder);
                 for (var entry : containmentInfoMap.entrySet()) {
                         var linkType = entry.getKey();
                         var info = entry.getValue();
@@ -212,8 +212,8 @@ public class ContainmentHierarchyTranslator implements ModelStoreConfiguration {
                                 ))));
         }
 
-        private void translateInvalidNumberOfContainers(ModelStoreBuilder storeBuilder) {
+        private void translateInvalidContainer(ModelStoreBuilder storeBuilder) {
                 storeBuilder.with(new InvalidMultiplicityErrorTranslator(CONTAINED_SYMBOL, CONTAINS_SYMBOL, true,
-                                ConstrainedMultiplicity.of(CardinalityIntervals.ONE, INVALID_NUMBER_OF_CONTAINERS)));
+                                ConstrainedMultiplicity.of(CardinalityIntervals.ONE, INVALID_CONTAINER)));
         }
 }