Wrote a parser for FOL with PYL that generate LogicStmt trees