refreshing

eyereasoner · May 5, 2023 · 121d23b · 121d23b
1 parent 6a97ce0
commit 121d23b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eye.pl b/eye.pl
@@ -784,7 +784,7 @@
                     ),
                     append(V, W, U)
                     ), '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(U, C), '<>')),
-    % resolve two negative surfaces
+    % resolve paired negative surfaces
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
                     is_list(V),
                     conj_list(G, L),