#10: removed inconsistency in FOL syntax
in comments I was writing 'a AND b' while our parser expects 'a & b'. Now the comments are the same as the real parsed expressions.