replace log:onNegativeQuestionSurface with log:onNegativeSurface

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.18.0 (2024-08-08) replace log:onNegativeQuestionSurface with log:onNegativeSurface
 v10.17.3 (2024-08-07) removing halting counter for rdfsurfaces
 v10.17.2 (2024-08-01) extending (| :f :a :b |) log:rawType log:FunctionalTerm.
 v10.17.1 (2024-07-31) fixing functional terms to (| functor args |)

VERSION

@@ -1 +1 @@
-10.17.3
+10.18.0

eye.pl

@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.17.3 (2024-08-07)').
+version_info('EYE v10.18.0 (2024-08-08)').
 
 license_info('MIT License
 
@@ -477,7 +477,6 @@
                 is_graph(G),
                 conj_list(G, Gl),
                 \+member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), Gl),
-                \+member('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'(_, _), Gl),
                 \+member('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'(_, _), Gl),
                 makevars([Vl, Gl], [Vv, Gv], beta(Vl)),
                 select(F, Gv, Gr),
@@ -516,7 +515,6 @@
                 is_graph(G),
                 conj_list(G, L),
                 list_to_set(L, B),
-                \+member('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'(_, _), B),
                 \+member('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'(_, _), B),
                 findall(1,
                     (   member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), B)
@@ -535,7 +533,6 @@
                 is_graph(F),
                 conj_list(F, K),
                 list_to_set(K, N),
-                \+member('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'(_, _), N),
                 \+member('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'(_, _), N),
                 length(N, 2),
                 makevars(N, J, beta(Wl)),
@@ -565,7 +562,6 @@
                 is_graph(G),
                 conj_list(G, L),
                 list_to_set(L, B),
-                \+member('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'(_, _), B),
                 \+member('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'(_, _), B),
                 select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(X, H), B, K),
                 (   H \= '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([], _)
@@ -588,7 +584,6 @@
                 conj_list(G, L),
                 list_to_set(L, B),
                 \+member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), B),
-                \+member('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'(_, _), B),
                 \+member('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'(_, _), B),
                 \+member(exopred(_, _, _), B),
                 (   length(B, O),
@@ -621,17 +616,14 @@
                 is_graph(G),
                 conj_list(G, L),
                 list_to_set(L, B),
-                (   select('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'([], T), B, K)
-                ;   select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([], T), B, K),
-                    conj_list(T, [T]),
-                    \+member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), K),
-                    \+member('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'(_, _), K),
-                    \+member('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'(_, _), K),
-                    findvars(T, Tv, beta),
-                    findvars(K, Kv, beta),
-                    member(Tm, Tv),
-                    \+member(Tm, Kv)
-                ),
+                select('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'([], T), B, K),
+                conj_list(T, [T]),
+                \+member('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, _), K),
+                \+member('<http://www.w3.org/2000/10/swap/log#onNegativeAnswerSurface>'(_, _), K),
+                findvars(T, Tv, beta),
+                findvars(K, Kv, beta),
+                member(Tm, Tv),
+                \+member(Tm, Kv),
                 conj_list(R, K),
                 conjify(R, S),
                 find_graffiti([R], D),
@@ -725,7 +717,6 @@
                     is_list(Vl),
                     is_graph(G),
                     conj_list(G, L),
-                    \+member('<http://www.w3.org/2000/10/swap/log#onNegativeQuestionSurface>'(_, _), L),
                     makevars(G, H, beta(Vl)),
                     (   H = '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, false),
                         J = true