From d094d2741b9d37e0e2bc8f33af488dee67682aa9 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Fri, 13 Dec 2024 20:48:14 +0100
Subject: [PATCH] refreshing

---
 reasoning/nand/nand.n3 | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/reasoning/nand/nand.n3 b/reasoning/nand/nand.n3
index 05e1ea7ac..7f0cc1e3f 100644
--- 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.
 }.