refreshing

eyereasoner · Nov 15, 2023 · 588f736 · 588f736
1 parent 9a275d9
commit 588f736
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/legacy/acp/acp.ttl b/legacy/acp/acp.ttl
@@ -22,7 +22,7 @@
     );
     rule:conclusion (
         (_:Pol :pass :allOfTest)
-   ).
+    ).
 
 [] a rule:BackwardRule;
     rule:premise (
@@ -34,7 +34,7 @@
     );
     rule:conclusion (
         (_:Pol :pass :anyOfTest)
-   ).
+    ).
 
 [] a rule:BackwardRule;
     rule:premise (
@@ -46,7 +46,7 @@
     );
     rule:conclusion (
         (_:Pol :pass :noneOfTest)
-   ).
+    ).
 
 [] a rule:QueryRule;
     rule:premise (
@@ -58,4 +58,4 @@
     rule:conclusion (
         (:test :for _:Pol)
         (:test :is true)
-   ).
+    ).