diff --git a/src/models/terms/DependencyTerm.java b/src/models/terms/DependencyTerm.java
index 0995cf7..de8d75e 100644
--- a/src/models/terms/DependencyTerm.java
+++ b/src/models/terms/DependencyTerm.java
@@ -18,7 +18,7 @@
 		super(
 				new Symbol(":", 3), 
 				dependedVariable.getOrder() == argumentTerm.getOrder() ? dependedVariable.getOrder() : dependedVariable.getOrder() - 1,
-				dependedVariable.getSize() + argumentTerm.getSize() + dependedVariable.getSize()
+				dependingTerm.getSize() + argumentTerm.getSize() + dependedVariable.getSize()
 		);
 		this.dependingTerm = dependingTerm;
 		this.dependedVariable = dependedVariable;