Distances/Angles can be published now too: Adjusted corresponding json bodies

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);

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;
         }
     }