Reformat.
Symbols.
Disequations need a predicate.
Set the path.
Expand includes first.
Render for the new TPTP formulas.
HEAD.
Unquote.
Semantic actions for clauses.
We need DIRECTORY-EXISTS-P from the CL-FAD package.
Directory of a TPTP problem.
Expand.
ROLE.
RENDER a LIST.
Set the path.
Print the path.
Expanding TPTP include statements.