Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning