1 files changed, 7 insertions, 1 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literals.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literals.java
index 2c7e893f..89039352 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literals.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/literal/Literals.java
@@ -1,11 +1,17 @@
 package tools.refinery.store.query.literal;
 
+import tools.refinery.store.query.term.Term;
+
 public final class Literals {
         private Literals() {
                 throw new IllegalStateException("This is a static utility class and should not be instantiated directly");
         }
 
-        public static <T extends PolarLiteral<T>> T not(PolarLiteral<T> literal) {
+        public static <T extends CanNegate<T>> T not(CanNegate<T> literal) {
                 return literal.negate();
         }
+
+        public static AssumeLiteral assume(Term<Boolean> term) {
+                return new AssumeLiteral(term);
+        }
 }