diff --git a/spec/index.html b/spec/index.html index 39d9604..d5d3acd 100644 --- a/spec/index.html +++ b/spec/index.html @@ -8619,7 +8619,7 @@

Translation to the Algebraic Syntax

This section defines the process of converting graph patterns and solution modifiers in a SPARQL query string into an algebraic query expression. The process described converts one - level of query nesting, as formed by subqueries using the nested SELECT syntax and + level of query nesting as formed by subqueries using the nested SELECT syntax, and is applied recursively on subqueries. Each level consists of graph pattern matching and filtering, followed by the application of solution modifiers.

The SPARQL query string is parsed and the abbreviations for IRIs and triple patterns given @@ -8715,10 +8715,10 @@

Variable Scope

query. The definition below provides a way of determining this from the abstract syntax tree of a query.

Note that a subquery with a projection can hide variables; use of a variable in - FILTER, or in MINUS does not cause the variable to be in-scope + FILTER or in MINUS does not cause the variable to be in-scope outside of those forms.

-

Let P, P1, P2 be graph patterns and E, - E1,...En be expressions. A variable v is in-scope if:

+

Let P, P1, and P2 be graph patterns, and E, + E1,..., through En be expressions. A variable v is in-scope if: