PRINT-COMBINED-UIS : FLAGPRINT-COMBINED-UIS is a flag or parameter.
When set to t, the commands PBRIEF and EXPLAIN will combine
lines which are a sequence of universal instantiations and print a
PRINT-COMBINED-UIS takes values of type BOOLEAN.
It belongs to subjects PRINTING .
Its default value is T
Its current value is T.
TPS documentation homepage