grammar1

Popper encoding for the grammar1 problem.
Back to my Popper page.