diff --git a/src/main/java/edu/kit/typicalc/view/main/AssumptionExampleContent.java b/src/main/java/edu/kit/typicalc/view/main/AssumptionExampleContent.java
index 2aa3f63..a6bbcc8 100644
--- a/src/main/java/edu/kit/typicalc/view/main/AssumptionExampleContent.java
+++ b/src/main/java/edu/kit/typicalc/view/main/AssumptionExampleContent.java
@@ -43,7 +43,7 @@ public class AssumptionExampleContent extends VerticalLayout {
         selectedTermBar.setId(SELECTED_TERM_BAR_ID);
         this.add(selectedTermBar);
         
-        String[] exampleAssumptions = getTranslation("root." + term.replaceAll("(\\s+|=)", "")).split(",");
+        String[] exampleAssumptions = getTranslation("root." + term.replaceAll("(\\s+|=)", "")).split(";");
         for (String assumptions : exampleAssumptions) {
             Button button = new Button(assumptions);
             button.addClickListener(click -> forwardCallback.accept(assumptions.
diff --git a/src/main/resources/language/general.properties b/src/main/resources/language/general.properties
index 1196244..e734e1a 100644
--- a/src/main/resources/language/general.properties
+++ b/src/main/resources/language/general.properties
@@ -16,15 +16,15 @@ root.exampleTerms=\
   let f = λx. let g = λy. y in g x in f 3,\
   let f = λx. let g = λy.5 5 in g x in f 3
   
-root.λx.x=∅, x: int, y: bool
-root.λx.λy.yx=∅, x: int, y: bool
-root.λx.λy.y(xx)=∅, x: int, y: bool
-root.letfλx.gyyinf3=∅, g: a->b->a, g: int->int->bool, g: int->int->bool; y: bool, g: int->int->bool; y: τ₁
-root.letkλx.λy.xinka(kbc)=∅, a: τ₁, a: ∀τ₁.τ₁->int; b: a, a: int; b: bool; c: char
-root.(λx.xx)(λx.xx)=∅, x: bool
-root.(λx.λy.y(xy))(λz.λa.zga)=∅, g: bool, a: int; g: bool->int, g: ∀τ₂.τ₁->τ₂
-root.letfλx.letgλy.yingxinf3=∅, g: bool->int->bool
-root.letfλx.letgλy.55ingxinf3=∅, f: bool->int->bool
+root.λx.x=∅; x: int; y: bool
+root.λx.λy.yx=∅; x: int; y: bool
+root.λx.λy.y(xx)=∅; x: int; y: bool
+root.letfλx.gyyinf3=∅; g: a->b->a; g: int->int->bool; g: int->int->bool, y: bool; g: int->int->bool, y: τ₁
+root.letkλx.λy.xinka(kbc)=∅; a: τ₁, a: ∀τ₁.τ₁->int; b: a, a: int; b: bool; c: char
+root.(λx.xx)(λx.xx)=∅; x: bool
+root.(λx.λy.y(xy))(λz.λa.zga)=∅; g: bool; a: int, g: bool->int; g: ∀τ₂.τ₁->τ₂
+root.letfλx.letgλy.yingxinf3=∅; g: bool->int->bool
+root.letfλx.letgλy.55ingxinf3=∅; f: bool->int->bool
  
 root.termGrammar=\u2329Term\u232A ::= (\u2329Term\u232A) | \u2329App\u232A | \u2329Abs\u232A | \
 \u2329Let\u232A | \u2329Var\u232A | \u2329Const\u232A <br> \