PRINT-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
single line.
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

© 1988-99, Carnegie Mellon University.

TPS homepage