@prefix : <#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

this log:forAll :s , :t .

:x :points :y .

{ this log:notIncludes { [] :pointsTo [] } } 
   log:implies { :TestA a :Success } .

{ this log:notIncludes { :x :points [] } } 
   log:implies { :TestB a :Failure } .