refreshing

eyereasoner · Dec 14, 2024 · d8c3529 · d8c3529
1 parent e6bf2f0
commit d8c3529
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/lib/rdfsurfaces.n3 b/lib/rdfsurfaces.n3
@@ -67,10 +67,7 @@
     ?V log:onNegativeSurface ?G.
     ?G graph:list ?L.
     ?L list:removeDuplicates ?B.
-    (   { ?B s:findComponent (?H ?K) }
-        false
-        true
-    ) log:ifThenElseIn ?SCOPE.
+    ({ ?B s:findComponent (?H ?K) } false true) log:ifThenElseIn ?SCOPE.
     ?B list:notMember { ?A log:onNegativeAnswerSurface ?B }.
     (?H { ?B list:select ({ ?U log:onNegativeSurface ?H } ?K) } ?E) log:collectAllIn ?SCOPE.
     (?Q { ?B list:select (?Q ?K). ({ ?Q log:equalTo { ?X log:onNegativeSurface ?Y } } false true) log:ifThenElseIn ?SCOPE } ?F) log:collectAllIn ?SCOPE.
@@ -180,5 +177,5 @@
     ?T log:equalTo { ?S ?P ?O }.
     ?K list:notMember { ?A log:onNegativeSurface ?B }.
     ?K list:notMember { ?A log:onNegativeAnswerSurface ?B }.
-    ?P a log:Component. 1 log:trace ?P.
+    ?P a log:Component.
 }.