EXPAND-LEAVES : MTREEOPEXPAND-LEAVES is a matingstree command.
Apply ADD-ALL-OB to all live leaves of the current matingstree
that lie below the given node (or the current node, if no node is given).
WARNING: Potential combinatorial explosion!
The command format for EXPAND-LEAVES is:
TPS documentation homepage