Is the following good grammar for Nearley.js? It describes logical expressions with variables, negation