PRINTDEPTH : FLAGPRINTDEPTH is a flag or parameter.
If 0, all printing will be done to arbitrary recursive depth,
if n > 0 subformulas of depth n will be replaced by '&'.
PRINTDEPTH takes values of type INTEGER+.
It belongs to subjects PRINTING .
Its default value is 0
Its current value is 0.
TPS documentation homepage