1 files changed, 15 insertions, 13 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningBuilder.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningBuilder.java
index d3a337e8..6d416436 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningBuilder.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningBuilder.java
@@ -7,26 +7,28 @@ package tools.refinery.store.reasoning;
 
 import tools.refinery.store.adapter.ModelAdapterBuilder;
 import tools.refinery.store.model.ModelStore;
-import tools.refinery.store.reasoning.literal.Modality;
 import tools.refinery.store.query.dnf.Dnf;
-
-import java.util.Collection;
-import java.util.List;
+import tools.refinery.store.query.dnf.Query;
+import tools.refinery.store.reasoning.literal.Concreteness;
+import tools.refinery.store.reasoning.literal.Modality;
+import tools.refinery.store.reasoning.refinement.PartialModelInitializer;
+import tools.refinery.store.reasoning.refinement.StorageRefiner;
+import tools.refinery.store.reasoning.translator.AnyPartialSymbolTranslator;
+import tools.refinery.store.representation.Symbol;
 
 @SuppressWarnings("UnusedReturnValue")
 public interface ReasoningBuilder extends ModelAdapterBuilder {
-        default ReasoningBuilder liftedQueries(Dnf... liftedQueries) {
-                return liftedQueries(List.of(liftedQueries));
-        }
+        ReasoningBuilder initialNodeCount(int nodeCount);
+
+        ReasoningBuilder partialSymbol(AnyPartialSymbolTranslator translator);
+
+        <T> ReasoningBuilder storageRefiner(Symbol<T> symbol, StorageRefiner.Factory<T> refiner);
 
-        default ReasoningBuilder liftedQueries(Collection<Dnf> liftedQueries) {
-                liftedQueries.forEach(this::liftedQuery);
-                return this;
-        }
+        ReasoningBuilder initializer(PartialModelInitializer initializer);
 
-        ReasoningBuilder liftedQuery(Dnf liftedQuery);
+        <T> Query<T> lift(Modality modality, Concreteness concreteness, Query<T> query);
 
-        Dnf lift(Modality modality, Dnf query);
+        Dnf lift(Modality modality, Concreteness concreteness, Dnf dnf);
 
         @Override
         ReasoningStoreAdapter build(ModelStore store);