# infix operators: ==, or, and
# grouping: ()
# terminals : \w+
#
# term := (expr)
#         | \w+ 
# expr := term /and/ term
#         | term /or/ term
#         | term /==/ term