PATHNUM is an argument for order-components.
PATHNUM is the same as T. If the flag ORDER-COMPONENTS is set to PATHNUM
then the components of a jform node will be rearranged in order of the number
of paths which lie below them (go through them). In ms90-*, this will sort the
top-level conjuncts into decreasing order (based on the number of paths through

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage