MBED-AR : EDOP
MBED-AR is an editor command.
Embed the current edwff in the right scope of AND.
The left scope is provided by the user.
The command format for MBED-AR is:
<Ed>MBED-AR <<RGWFF>> LGWFF
<<GWFF0>> "GWFF0"
The result replaces the current wff.
TPS documentation homepage