1 files changed, 12 insertions, 4 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/PartialLiterals.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/PartialLiterals.java
index 4f07f17d..2c879397 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/PartialLiterals.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/literal/PartialLiterals.java
@@ -13,20 +13,28 @@ public final class PartialLiterals {
         }
 
         public static CallLiteral may(CallLiteral literal) {
-                return addModality(literal, Modality.MAY);
+                return addModality(literal, Modality.MAY, Concreteness.PARTIAL);
         }
 
         public static CallLiteral must(CallLiteral literal) {
-                return addModality(literal, Modality.MUST);
+                return addModality(literal, Modality.MUST, Concreteness.PARTIAL);
         }
 
-        public static CallLiteral addModality(CallLiteral literal, Modality modality) {
+        public static CallLiteral candidateMay(CallLiteral literal) {
+                return addModality(literal, Modality.MAY, Concreteness.CANDIDATE);
+        }
+
+        public static CallLiteral candidateMust(CallLiteral literal) {
+                return addModality(literal, Modality.MUST, Concreteness.CANDIDATE);
+        }
+
+        public static CallLiteral addModality(CallLiteral literal, Modality modality, Concreteness concreteness) {
                 var target = literal.getTarget();
                 if (target instanceof ModalConstraint) {
                         throw new IllegalArgumentException("Literal %s already has modality".formatted(literal));
                 }
                 var polarity = literal.getPolarity();
-                var modalTarget = new ModalConstraint(modality.commute(polarity), target);
+                var modalTarget = new ModalConstraint(modality.commute(polarity), concreteness, target);
                 return new CallLiteral(polarity, modalTarget, literal.getArguments());
         }
 }