diff --git a/test/pure/police_LIE.n3s b/test/pure/police_LIE.n3s
deleted file mode 100644
index c4008d4..0000000
--- a/test/pure/police_LIE.n3s
+++ /dev/null
@@ -1,46 +0,0 @@
-@prefix : <urn:example:> .
-@prefix log: <http://www.w3.org/2000/10/swap/log#> .
-
-:PolicyA 
-    a :Policy ;
-    :prohibition [
-        :action :TalkLoudly
-    ] . 
-
-# Prohibition action X = Duty NOT (action X)
-(_:X _:Y _:Z) log:onNegativeSurface {
-    _:X 
-        a :Policy ;
-        :prohibition _:Y .
-    _:Y :action _:Z .
-
-    (_:New) log:onNegativeSurface {
-        _:X :duty _:New .
-        () log:onNegativeSurface {
-            _:New :action _:Z .
-        } .
-    } .
-} .
-
-# Test NOT prohibition X 
-(_:Pol _:X) log:onNegativeSurface {
-
-    () log:onNegativeSurface {
-        _:Pol
-            a :Policy ;
-            :prohibition _:X .
-        _:X :action :TalkLoudly .
-    } .
-
-    () log:onNegativeSurface {
-        :test :is true .
-    } .
-} .
-
-# Query
-() log:onNegativeSurface {
-    :test :is true.
-    () log:onNegativeAnswerSurface {
-        :test :is true.
-    }
-}.