Utility for grabbing files in a directory.
Split the annotated_formula production.
Dump debug.
Test data example.
Try parsing TPTP files.