Parse Logical Expr. ( propositional logic + first-order predicate logic)