Parse tests.
Take a stab at using Parse::RecDescent to move away from relying on tptp4X.
Do our own parsing.
Simplify using wildcards.