testing log:includes and log:notIncludes

while testing log:includes and log:notIncludes
cwm found that

{} log:notIncludes {_:x a rdfs:Resource}.

which is OK I think
(euler is not OK for that but I am fixing)

both cwm and euler found that

{} log:includes {(1 1) math:sum 2}.

which is not like simple entailment..


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/