refreshing

eyereasoner · Sep 29, 2023 · dc20b8f · dc20b8f
1 parent d0137dc
commit dc20b8f
Showing 1 changed file with 13 additions and 3 deletions.
diff --git a/reasoning/refresh/refresh.n3 b/reasoning/refresh/refresh.n3
@@ -17,9 +17,19 @@
 {
     ?P => ?C.
     ?C list:member ?D.
-    ?D => ?E.
-    (?C ?D) list:remove ?F.
-    ?G list:firstRest (?E ?F).
+    (?C ?D) list:remove ?E.
+    ?D => ?F.
+    (
+        {
+            ?F list:firstRest (?A ?B).
+        }
+        {
+            (?F ?E) list:append ?G.
+        }
+        {
+            ?G list:firstRest (?F ?E).
+        }
+    ) log:ifThenElseIn ?SCOPE.
 } => {
     ?P => ?G.
 }.