diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
index 5e5afc48..7af1e0a6 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/editor.mps
@@ -4285,5 +4285,53 @@
       </node>
     </node>
   </node>
+  <node concept="3p36aQ" id="PltxfIrOTO">
+    <property role="3GE5qa" value="dataform" />
+    <ref role="aqKnT" to="5j4j:PltxfHNb9C" resolve="LogicalDataForm" />
+    <node concept="3N5dw7" id="PltxfIrYl_" role="3ft7WO">
+      <node concept="3N5aqt" id="PltxfIrYlA" role="3Na0zg">
+        <node concept="3clFbS" id="PltxfIrYlB" role="2VODD2">
+          <node concept="3cpWs8" id="PltxfIrYUM" role="3cqZAp">
+            <node concept="3cpWsn" id="PltxfIrYUP" role="3cpWs9">
+              <property role="TrG5h" value="ldf" />
+              <node concept="3Tqbb2" id="PltxfIrYUL" role="1tU5fm">
+                <ref role="ehGHo" to="5j4j:PltxfHNb9C" resolve="LogicalDataForm" />
+              </node>
+              <node concept="2ShNRf" id="PltxfIrZhg" role="33vP2m">
+                <node concept="3zrR0B" id="PltxfIrZLl" role="2ShVmc">
+                  <node concept="3Tqbb2" id="PltxfIrZLn" role="3zrR0E">
+                    <ref role="ehGHo" to="5j4j:PltxfHNb9C" resolve="LogicalDataForm" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="PltxfIs0bR" role="3cqZAp">
+            <node concept="2OqwBi" id="PltxfIs0KJ" role="3clFbG">
+              <node concept="2OqwBi" id="PltxfIs0lT" role="2Oq$k0">
+                <node concept="37vLTw" id="PltxfIs0bP" role="2Oq$k0">
+                  <ref role="3cqZAo" node="PltxfIrYUP" resolve="ldf" />
+                </node>
+                <node concept="3TrEf2" id="PltxfIs0$h" role="2OqNvi">
+                  <ref role="3Tt5mk" to="5j4j:PltxfHNdqi" resolve="logical" />
+                </node>
+              </node>
+              <node concept="2oxUTD" id="PltxfIs16o" role="2OqNvi">
+                <node concept="3N4pyC" id="PltxfIs1hP" role="2oxUTC" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbF" id="PltxfIs1o4" role="3cqZAp">
+            <node concept="37vLTw" id="PltxfIs1o2" role="3clFbG">
+              <ref role="3cqZAo" node="PltxfIrYUP" resolve="ldf" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2kknPJ" id="PltxfIrYvq" role="2klrvf">
+        <ref role="2ZyFGn" to="5j4j:7E86$tK_OxQ" resolve="LogicalVariable" />
+      </node>
+    </node>
+  </node>
 </model>