Propositional Logic sentence parser complete and tested.