We may need temp files.
Get the name attribute.
Dump debug.
Extract numerals and function terms from a TPTP formula.
Postulate that numerals are not values of structure terms.