1

Parse error: (line 1, column 1): unexpected '1' expecting white space, "*", "(", letter, "::", end of input, "forall", "[" or "!"

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