Index: query/lang.html
===================================================================
--- query/lang.html (revision 32027)
+++ query/lang.html (revision 32028)
@@ -15,11 +15,14 @@
A rule consists of three parts:
- - the rule keyword; syntax: rule NAME
-
- build variables (lists) using search statements
-
- state assertions about those lists.
+
- the rule keyword; syntax: rule NAME, where NAME is an arbitrary string
+
- build variables (lists) using search statements, using the let keyword
+
- state assertions about those lists, using the assert keyword
- comments, empty lines
+
+A simpler variant of a rule is a single expression, without any rule or
+let or assert keywords in it.
Variables (lists)