fix: concrete supertype translation

1 files changed, 4 insertions, 5 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java
index 4bff4557..67e8035f 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslator.java
@@ -45,13 +45,12 @@ public class TypeHierarchyTranslator implements ModelStoreConfiguration {
 
         private ModelStoreConfiguration createPreservedTypeTranslator(PartialRelation type, TypeAnalysisResult result) {
                 var may = Query.of(type.name() + "#partial#may", (builder, p1) -> {
-                        if (result.isAbstractType()) {
-                                for (var subtype : result.getDirectSubtypes()) {
-                                        builder.clause(PartialLiterals.may(subtype.call(p1)));
-                                }
-                        } else {
+                        if (!result.isAbstractType()) {
                                 builder.clause(new MayTypeView(typeSymbol, type).call(p1));
                         }
+                        for (var subtype : result.getDirectSubtypes()) {
+                                builder.clause(PartialLiterals.may(subtype.call(p1)));
+                        }
                 });
 
                 var must = Query.of(type.name() + "#partial#must", (builder, p1) -> builder.clause(