MBED-IR : EDOP
MBED-IR is an editor command.
Embed the current edwff as the consequent of a conditional.
The antecedent is provided by the user.
The command format for MBED-IR is:
<Ed>MBED-IR LGWFF <<RGWFF>>
"GWFF0" <<GWFF0>>
The result replaces the current wff.
TPS documentation homepage