refreshing

eyereasoner · Dec 13, 2024 · d094d27 · d094d27
1 parent 65ae898
commit d094d27
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/reasoning/nand/nand.n3 b/reasoning/nand/nand.n3
@@ -16,9 +16,9 @@
         true
         { ?C log:equalTo { ?A => false } }
     ) log:ifThenElseIn ?SCOPE.
-    ?R graph:list ?B.
+    ?E graph:list ?B.
 } => {
-    ?R => ?C.
+    ?E => ?C.
 }.
 
 # resolution rule
@@ -33,7 +33,7 @@
         { ?M log:equalTo ?B }
         { ?M list:firstRest ({ ?D => false } ?B) }
     ) log:ifThenElseIn ?SCOPE.
-    ?R graph:list ?M.
+    ?E graph:list ?M.
 } => {
-    ?R => ?C.
+    ?E => ?C.
 }.