1 files changed, 34 insertions, 9 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java
index 6d5d6f89..7f0ef8b4 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java
@@ -5,26 +5,51 @@
  */
 package tools.refinery.store.reasoning;
 
+import org.jetbrains.annotations.Nullable;
 import tools.refinery.store.adapter.ModelAdapter;
-import tools.refinery.store.query.resultset.ResultSet;
-import tools.refinery.store.query.dnf.Dnf;
+import tools.refinery.store.reasoning.internal.ReasoningBuilderImpl;
+import tools.refinery.store.reasoning.interpretation.AnyPartialInterpretation;
+import tools.refinery.store.reasoning.interpretation.PartialInterpretation;
+import tools.refinery.store.reasoning.literal.Concreteness;
+import tools.refinery.store.reasoning.refinement.AnyPartialInterpretationRefiner;
+import tools.refinery.store.reasoning.refinement.PartialInterpretationRefiner;
 import tools.refinery.store.reasoning.representation.AnyPartialSymbol;
 import tools.refinery.store.reasoning.representation.PartialRelation;
 import tools.refinery.store.reasoning.representation.PartialSymbol;
+import tools.refinery.store.tuple.Tuple1;
 
 public interface ReasoningAdapter extends ModelAdapter {
-        PartialRelation EXISTS = new PartialRelation("exists", 1);
+        PartialRelation EXISTS_SYMBOL = PartialSymbol.of("exists", 1);
+        PartialRelation EQUALS_SYMBOL = PartialSymbol.of("equals", 2);
 
         @Override
         ReasoningStoreAdapter getStoreAdapter();
 
-        default AnyPartialInterpretation getPartialInterpretation(AnyPartialSymbol partialSymbol) {
-                // Cast to disambiguate overloads.
-                var typedPartialSymbol = (PartialSymbol<?, ?>) partialSymbol;
-                return getPartialInterpretation(typedPartialSymbol);
+        default AnyPartialInterpretation getPartialInterpretation(Concreteness concreteness,
+                                                                                                                          AnyPartialSymbol partialSymbol) {
+                return getPartialInterpretation(concreteness, (PartialSymbol<?, ?>) partialSymbol);
         }
 
-        <A, C> PartialInterpretation<A, C> getPartialInterpretation(PartialSymbol<A, C> partialSymbol);
+        <A, C> PartialInterpretation<A, C> getPartialInterpretation(Concreteness concreteness,
+                                                                                                                                PartialSymbol<A, C> partialSymbol);
 
-        ResultSet<Boolean> getLiftedResultSet(Dnf query);
+        default AnyPartialInterpretationRefiner getRefiner(AnyPartialSymbol partialSymbol) {
+                return getRefiner((PartialSymbol<?, ?>) partialSymbol);
+        }
+
+        <A, C> PartialInterpretationRefiner<A, C> getRefiner(PartialSymbol<A, C> partialSymbol);
+
+        @Nullable
+        Tuple1 split(int parentMultiObject);
+
+        @Nullable
+        Tuple1 focus(int parentObject);
+
+        boolean cleanup(int nodeToDelete);
+
+        int getNodeCount();
+
+        static ReasoningBuilder builder() {
+                return new ReasoningBuilderImpl();
+        }
 }