diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
index d5c1aca1b7cd60ca6a010b3b9c304eddda38e084..dec9fc1a9535df2a4396bc554d562542ad9e72c6 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/verifier/SubsumptionVerifier.java
@@ -172,7 +172,7 @@ public class SubsumptionVerifier extends AbstractVerifier {
     StringBuilder sb = new StringBuilder();
     sb.append("In table ");
     sb.append(subsumptionRules.get(0).getRuleIdentifier().getTableName());
-    sb.append(" rule");
+    sb.append(", rule");
     if (subsumptionRules.size() > 1) {
       sb.append("s");
     }
@@ -182,9 +182,14 @@ public class SubsumptionVerifier extends AbstractVerifier {
             .map(c -> c.getRuleIdentifier().getRowNumber().toString())
             .sorted()
             .collect(Collectors.joining(", ")));
-    sb.append(" subsumes rule");
+    if (subsumptionRules.size() > 1) {
+      sb.append("subsume"); //Plural
+    }else{        
+      sb.append(" subsumes rule");    
+    }  
+    
     if (currentRuleIdentifiers.size() > 2) {
-      sb.append("s");
+      sb.append("s"); 
     }
     sb.append(" ");
     sb.append(
@@ -200,7 +205,7 @@ public class SubsumptionVerifier extends AbstractVerifier {
             .collect(Collectors.joining(", ")));
     sb.append(".");
     if (isDifferentConclusion) {
-      sb.append(" The output has different conclusions!");
+      sb.append(" The outputs have different conclusions!");
     } else {
       sb.append(" The output is the same.");
     }