Making everything true

eyereasoner · Jul 27, 2024 · 87135ed · 87135ed
1 parent e6e8c35
commit 87135ed
Showing 1 changed file with 3 additions and 11 deletions.
diff --git a/test/pure/universal_statement3.n3s b/test/pure/universal_statement3.n3s
@@ -2,21 +2,13 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 
 # From 
-#  \forall x: x is Perfect 
+#  \forall x: x is true
 # Follows:
-#  bob is Perfect 
+#  test is true
 
 (_:X) log:onNegativeSurface {
     () log:onNegativeSurface {
-        _:X :is :Perfect .
-    } .
-} .
-
-() log:onNegativeSurface {
-    :bob :is :Perfect .
-
-    () log:onNegativeSurface {
-        :test :is true .
+        _:X :is true .
     } .
 } .