PRINT-LIT-NAME : FLAGPRINT-LIT-NAME is a flag or parameter.
If the value of this flag is true, labels (instead
of wffs associated with literal, or neg-literal) are printed inside
PRINT-LIT-NAME takes values of type BOOLEAN.
It belongs to subjects JFORMS .
Its default value is T
Its current value is T.
TPS documentation homepage