diff --git a/src/inference/InferenceRule.java b/src/inference/InferenceRule.java
index 7f5798b..140c103 100644
--- a/src/inference/InferenceRule.java
+++ b/src/inference/InferenceRule.java
@@ -8,18 +8,31 @@
 import java.util.Map;
 import java.util.Set;
 
-import lombok.RequiredArgsConstructor;
+import lombok.Getter;
 import models.algebra.Variable;
 import models.formulas.Formula;
 import models.formulas.meta.MetaFormula;
 import models.terms.RDLTerm;
 import models.terms.meta.OrderVariableConstraint;
 
-@RequiredArgsConstructor
 public class InferenceRule {
 
 	private final List<MetaFormula> assumptions;
 	private final MetaFormula conclusion;
+	@Getter
+	private final String name;
+	
+	public InferenceRule(String name, List<MetaFormula> assumptions, MetaFormula conclusion) {
+		this.assumptions = assumptions;
+		this.conclusion = conclusion;
+		this.name = name;
+	}
+	
+	public InferenceRule(List<MetaFormula> assumptions, MetaFormula conclusion) {
+		this.assumptions = assumptions;
+		this.conclusion = conclusion;
+		this.name = "undefined";
+	}
 	
 	public boolean check(Collection<Formula> assumptions, Formula conclusion) {
 		if (this.assumptions.size() > assumptions.size()) {