MST-BASIC-SEARCH : WFFOPMST-BASIC-SEARCH is a wff operation.
Apply EXPAND-LEAVES repeatedly to all live leaves of the current
matingstree that lie below the given node (or the current node, if
no node is given), until a closed leaf is generated.
WARNING: Potential combinatorial explosion!
The calling scheme for MST-BASIC-SEARCH is:
The result is of type OBLIGATION.
TPS documentation homepage