updating readme with CFG
can now parse predicate logical expressions