PRIM-SUBST : EDOP

PRIM-SUBST is an editor command.
Replaces a variable with a primitive substitution.
Differs from SUBST in that it will also replace quantified
variables, and their quantifiers, as necessary. 
 
The command format for PRIM-SUBST is:

<Ed>PRIM-SUBST <<INWFF>>   VAR    SUB 
                <<GWFF>> "GVAR" "GWFF"

The result replaces the current wff.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage