refreshing

eyereasoner · Dec 16, 2024 · 0afa19e · 0afa19e
1 parent d82188a
commit 0afa19e
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/lib/rdfsurfaces.n3 b/lib/rdfsurfaces.n3
@@ -94,8 +94,11 @@
     ({ ?B s:findComponent (?H ?K) } false true) log:ifThenElseIn ?SCOPE.
     ?B list:notMember { ?I log:onNegativeAnswerSurface ?J }.
     ?B list:select ({ ?U log:onNegativeSurface ?H } ?K).
-    ?R graph:list ?K.
-    (?V { ?R => ?H }) graph:negateBlanks ?C.
+    ({ ?V log:skolem ?W } { ?U list:member ?W } ?Y) log:collectAllIn ?SCOPE.
+    (?K ?Y) list:append ?M.
+    ?R graph:list ?M.
+    (?V ?U) list:append ?X.
+    (?X { ?R => ?H }) graph:negateBlanks ?C.
 } => ?C.
 
 # convert negative surfaces to forward rules B