MBED-AND-RIGHT : WFFOP

MBED-AND-RIGHT is a wff operation.
Embed the current edwff in the right scope of AND.
The left scope is provided by the user.
 
The calling scheme for MBED-AND-RIGHT is:

(MBED-AND-RIGHT RGWFF LGWFF)
"GWFF0" "GWFF0"


The result is of type GWFF0.

The arguments have the following meaning:
RGWFF : Right scope of AND
LGWFF : Left scope of AND

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage