PRIM-SUBST : EDOPPRIM-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