This section present queries.
This section present the query predicates. (aka what you can put on the left hand side of queries).
query variables are defined at the begining of a query and separated with a ';' i.e.
int x; A(x) ….
This section presents the production statement. (i.e. the right handside of a query).
The production presented here are generated with the RGGProducer. It is possible to select (or create another producer) which will generate different results.