diff --git a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
index 74386bf1aac19cf3d053ed7a4d08c8c870475f24..a5b43f8da6a05c3cc240fa489ad6a5ffcae6294b 100644
--- a/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
+++ b/dmn-verifier-app/src/main/java/de/unikoblenz/fgbks/dmn/core/models/VerifierType.java
@@ -23,7 +23,7 @@ public enum VerifierType {
       true,
       true,
       false),
-  Equivalent("Checking for synonyms in columns.", EquivalentVerifier.class, true, false, false),
+  Equivalent("Checking for semantically equivalent rules.", EquivalentVerifier.class, true, false, false),
   Overlap("Checking for overlapping rules.", OverlappingVerifier.class, true, true, false),
   Missing("Checking for missing rules.", MissingVerifier.class, true, false, false),
   PartialReduction(
@@ -33,37 +33,37 @@ public enum VerifierType {
       false,
       false),
   Interdeterminism(
-      "Identical, Overlapping or Subsumption with different conclusions.",
+      "Checking for rules that are activated together but have different conclusions.",
       InterdeterminismVerifier.class,
       false,
       false,
       false),
   MultiTableIdentical(
-      "Checking for identical rules in multiple tables with identical outcome column.",
+      "Checking for identical rules in multiple tables (identical outcome column).",
       MultiTableIdenticalVerifier.class,
       true,
       true,
       true),
   MultiTableOverlapping(
-      "Checking for overlapping rules in multiple tables with identical outcome column.",
+      "Checking for overlapping rules in multiple tables (identical outcome column).",
       MultiTableOverlappingVerifier.class,
       true,
       true,
       true),
   MultiTableSubsumption(
-      "Checking for subsumptions in multiple tables with identical outcome column.",
+      "Checking for subsumptions in multiple tables (identical outcome column).",
       MultiTableSubsumptionVerifier.class,
       true,
       true,
       true),
   MultiTableEquivalent(
-      "Checking for synonyms in columns in multiple tables with identical outcome column.",
+      "Checking for equivalent rules in multiple tables (identical outcome column).",
       MultiTableEquivalentVerifier.class,
       true,
       false,
       true),
   MultiTablePartialReduction(
-      "Checking for partial reduction of rules (combination) in multiple tables with identical outcome column.",
+      "Checking for partial reduction of rules in multiple tables (identical outcome column).",
       MultiTablePartialReductionVerifier.class,
       true,
       false,