fixing https://github.com/eyereasoner/Notation3-By-Example/blob/main/…

…log/blogic/contradiction5:FAIL.n3

RELEASE

@@ -1,5 +1,6 @@
                                   EYE release
 
+v3.21.1 (2023-04-23) fixing https://github.com/eyereasoner/Notation3-By-Example/blob/main/log/blogic/contradiction5:FAIL.n3
 v3.21.0 (2023-04-22) treating graffiti as scratches
 v3.20.10 (2023-04-20) fixing --pass-only-new (obs from William Van Woensel)
 v3.20.9 (2023-04-20) fixing issue with blogic create contrapositive

VERSION

@@ -1 +1 @@
-3.21.0
+3.21.1

eye.pl

@@ -21,7 +21,7 @@
 :- catch(use_module(library(pcre)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v3.21.0 (2023-04-22)').
+version_info('EYE v3.21.1 (2023-04-23)').
 
 license_info('MIT License
 
@@ -738,7 +738,11 @@
                     is_list(V),
                     makevars(G, H, beta(V)),
                     catch(call(H), _, false),
-                    '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, H)
+                    (   H = '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, C)
+                    ->  I = '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, C)
+                    ;   I = H
+                    ),
+                    '<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(_, I)
                     ), false, '<>')),
     % simplify positive surface
     assertz(implies(('<http://www.w3.org/2000/10/swap/log#onNegativeSurface>'(V, G),
@@ -4781,13 +4785,17 @@
                 ),
                 (   select(makevars(_, _, _), Lst1, Lst2)
                 ->  true
-                ;   Lst2 = Lst
+                ;   Lst2 = Lst1
                 ),
                 (   select(catch(call(Call), _, _), Lst2, Lst3)
                 ->  Lst4 = [Call|Lst3]
                 ;   Lst4 = Lst2
                 ),
-                conj_list(Prem2, Lst4)
+                (   select((_ -> _ ; _), Lst4, Lst5)
+                ->  true
+                ;   Lst5 = Lst4
+                ),
+                conj_list(Prem2, Lst5)
             ;   Prem2 = Prem
             ),
             (   flag('n3p-output')
@@ -10583,6 +10591,7 @@
     nb_getval(scope, A).
 
 domain(A, true, B) :-
+    '<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(_, _),
     !,
     findall('<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>'(C, _),
         (   member(C, A)