Re: grammar for propositional logic

[John P. Hartmann]

Essentially, your input does not conform to your grammar (but you
probably know that).

%error-verbose will give you more information about where the grammar
and your input disagree.

Set yydebug=1 to get a trace of the parse.  With that, inspect
y.output for the failing state.

   j.