refreshing

eyereasoner · Nov 2, 2024 · c616b8b · c616b8b
1 parent 9216fa9
commit c616b8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -45,7 +45,7 @@ The var: prefix is <http://www.w3.org/2000/10/swap/var#> and is used for
 variables that are interpreted as universally quantified variables except for
 forward rule conclusion-only variables which are interpreted existentially.
 
-RDF proofs are composed of `log:proves` triples like
+Proofs described in RDF are composed of `log:proves` triples like
 ```
 (rule_or_query instantiated_premise) log:proves instantiated_conclusion.
 ```