                           tptp_naming
                           -----------
This  script  renames  TPTP  problem  files  with  either  their  syntactic  or
syntactic=semantic name,  using the  names given  in the  % File  field of  the
header.

Usage : tptp_naming syntactic|semantic <List of problem files>

Example
-------
The following is a typical tptp_naming run.

sunjessen4:~/TPTP> tptp_naming semantic Problems/GRP/GRP001*
Problems/GRP/GRP001-1.p renames to Problems/GRP/GRP001=SqrComm-1.p
Problems/GRP/GRP001-2.p renames to Problems/GRP/GRP001=SqrComm-2.p
Problems/GRP/GRP001-3.p renames to Problems/GRP/GRP001=SqrComm-3.p
Problems/GRP/GRP001-4.p renames to Problems/GRP/GRP001=SqrComm-4.p
Problems/GRP/GRP001-5.p renames to Problems/GRP/GRP001=SqrComm-5.p
sunjessen4:~/TPTP>

This use of tptp_naming adds the semantic name  to all versions of the abstract
problem GRP001.
