Availability:
:- use_module(library(semweb/rdf_litindex)).not(Key). If not-terms 
are provided, there must be at least one positive keywords. The 
negations are tested after establishing the positive matches.