SHOW-WFF : LIBRARYCMDSHOW-WFF is a library command.
Display the wff of a gwff in the library.
If more than one library object of this name is stored in
the library and SHOW-ALL-LIBOBJECTS is set to T,
the user is prompted to disambiguate.
The command format for SHOW-WFF is:
TPS documentation homepage