diff --git a/spec/index.html b/spec/index.html index c273612..ad81ea7 100644 --- a/spec/index.html +++ b/spec/index.html @@ -8384,7 +8384,7 @@
FILTER
ElementsLet FS := empty set -For each form FILTER(expr) in the group graph pattern: +For each form FILTER(expr) in the group graph pattern In expr, replace NOT EXISTS{P} with fn:not(exists(translate(P))) In expr, replace EXISTS{P} with exists(translate(P)) FS := FS ∪ {expr}