specification.md

@@ -69,8 +69,8 @@ NDL query is a Prolog like program, containing rules, with bodies consisting of
 * binary arithmetic comparisons: `=/2`, `>=/2`, `>/2`, `</2`, `<=/2`
 * loops in form of `for_each(+Generator:model_clause, +Query:query)`
   * first argument is a non-deterministic model clause, i.e. `variable/(2..6)`, `constraint/3`, `range_element/2`
-  * `Generator`'s variables are available in the `Query`
-  * queries are run in order, independently, it the query fails on the specific variable assignment, it continues with the next assignment
+  * all `Generator`'s variables are instantiated and available in the `Query`
+  * queries are run in order, independently, it the query fails on the specific variables' instantiation, it continues with the next assignment
 * conditions `if(+Condition:query,+Then:query)` and `if(+Condition:test,+Then:query,+Else:query)`
   * `Condition` contains only one term
   * if `Condition` succeeds, `Then` query is evaluated