diff --git a/README.md b/README.md index b7bb7ee..0d15fd1 100644 --- 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 `` and is used for variables that are interpreted as universally quantified variables except for forward rule conclusion-only variables which are interpreted existentially.