refreshing

eyereasoner · Nov 6, 2024 · 41e2187 · 41e2187
1 parent a322e0b
commit 41e2187
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -76,6 +76,8 @@ _:bng_2_1 {
 }
 ```
 
+For any rdfpackage with graph statement `N G` the graph term `G` is closed.
+
 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.