diff --git a/Assets/Scripts/InteractionEngine/Fact.cs b/Assets/Scripts/InteractionEngine/Fact.cs
index 097bd482a7830572be870cd28f5a21ff9ba1638f..568b33ee0bc989f1244e236182016fb0d1adcc6c 100644
--- a/Assets/Scripts/InteractionEngine/Fact.cs
+++ b/Assets/Scripts/InteractionEngine/Fact.cs
@@ -142,10 +142,10 @@ public LineFact(int i, int pid1, int pid2)
                 }
             );
 
-        MMTTerm rhs = new OMF(v);
+        MMTTerm valueTp = new OMF(v);
 
         //see point label
-        MMTValueDeclaration mmtDecl = new MMTValueDeclaration(this.Label, lhs, rhs);
+        MMTValueDeclaration mmtDecl = new MMTValueDeclaration(this.Label, lhs, valueTp, null);
         string body = MMTDeclaration.ToJson(mmtDecl);
         AddFactResponse res = AddFactResponse.sendAdd(CommunicationEvents.ServerAdress + "/fact/add", body);
         this.backendURI = res.uri;
@@ -257,10 +257,10 @@ public AngleFact(int i, int pid1, int pid2, int pid3)
                 }
             );
 
-        MMTTerm rhs = new OMF(v);
+        MMTTerm valueTp = new OMF(v);
 
         //see point label
-        MMTValueDeclaration mmtDecl = new MMTValueDeclaration(this.Label, lhs, rhs);
+        MMTValueDeclaration mmtDecl = new MMTValueDeclaration(this.Label, lhs, valueTp, null);
         string body = MMTDeclaration.ToJson(mmtDecl);
 
         Debug.Log(body);
diff --git a/Assets/Scripts/JSONManager.cs b/Assets/Scripts/JSONManager.cs
index 8ae53b1fd9b1407b8908fcd1185198e8ee651ab5..eda92fa64f7eb3812e7be935f52088c3ee5e672d 100644
--- a/Assets/Scripts/JSONManager.cs
+++ b/Assets/Scripts/JSONManager.cs
@@ -118,13 +118,15 @@ public class MMTValueDeclaration : MMTDeclaration
         public string kind = "veq";
         public string label;
         public MMTTerm lhs;
-        public MMTTerm rhs;
+        public MMTTerm valueTp;
+        public MMTTerm value;
 
-        public MMTValueDeclaration(string label, MMTTerm lhs, MMTTerm rhs)
+        public MMTValueDeclaration(string label, MMTTerm lhs, MMTTerm valueTp, MMTTerm value)
         {
             this.label = label;
             this.lhs = lhs;
-            this.rhs = rhs;
+            this.valueTp = valueTp;
+            this.value = value;
         }
     }