testing with eye v11.0.1

eyereasoner · Dec 15, 2024 · 1363210 · 1363210
1 parent 15535b7
commit 1363210
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/lib/rdfsurfaces.n3 b/lib/rdfsurfaces.n3
@@ -232,15 +232,6 @@
 } => false.
 
 # support
-{
-    () log:onNegativeSurface {
-        () log:onNegativeSurface ?A.
-    }.
-} <= {
-    ?A log:bound true.
-    ?A log:call true.
-}.
-
 {
     ?L s:findComponent (?T ?K).
 } <= {