SUGGEST : MEXPR

SUGGEST is a top-level command.
Suggest some applicable inference rule for proving a planned line.
The command format for SUGGEST is:

 <n>SUGGEST  PLINE 
"PLINE"


The arguments have the following meaning:
PLINE : Planned line to get a suggestion for

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage