Move the SIGNATURE method on TPTP-DB objects to tptp.lisp.
Whitespace characters.
Whitespace.
Handle reverse implications and equivalences.
Handle disjunctions.
Dump single alpha characters as terminals.