Parsing TPTP files and formulas.
Don't load the Parse.pm (no longer exists).
Factor out conjunctions and disjunctions.  Ensure that we try further conjunctions and disjunctions first.
Wrong syntax.
Try parsing the whole TPTP library (axioms and problems).
Launch the parse command.