Parse error in user query

Query: (a -%3E Bool) -%3E [a] -%3E [b]

Error:
unexpected "3"
expecting "forall", "(", "[" or "!"

For information on what queries should look like, see the user manual.

© Neil Mitchell 2004-2009