PROP-MSEARCH : MATEOP

PROP-MSEARCH is a mating-search command.
Start Sunil's propositional mating search procedure.
This search procedure only works on propositional jforms.
 
The command format for PROP-MSEARCH is:

<Mate>PROP-MSEARCH

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage