diff --git a/src/inference/InferenceRule.java b/src/inference/InferenceRule.java
index a97ec3c..e99e7c4 100644
--- a/src/inference/InferenceRule.java
+++ b/src/inference/InferenceRule.java
@@ -31,6 +31,20 @@
 		this.defaultOrderConstraint = constraint;
 	}
 	
+	public InferenceRule( List<MetaFormula> assumptions, MetaFormula conclusion, InferenceOrderConstraint constraint) {
+		this.name = "undefined";
+		this.assumptions = assumptions;
+		this.conclusion = conclusion;
+		this.defaultOrderConstraint = constraint;
+	}
+	
+	public InferenceRule(String name, List<MetaFormula> assumptions, MetaFormula conclusion) {
+		this.assumptions = assumptions;
+		this.conclusion = conclusion;
+		this.name = name;
+		this.defaultOrderConstraint = null;
+	}
+	
 	public InferenceRule(List<MetaFormula> assumptions, MetaFormula conclusion) {
 		this.assumptions = assumptions;
 		this.conclusion = conclusion;