MBED-E1 : EDOP

MBED-E1 is an editor command.
Embed the current edwff in the scope of an exists1 quantifier.
The variable of quantification is provided by the user.
 
The command format for MBED-E1 is:

<Ed>MBED-E1 VQUANT <<CRWFF>>
"GVAR" <<GWFF0>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage