MBED-OR-LEFT : WFFOPMBED-OR-LEFT is a wff operation.
Embed the current edwff in the left scope of OR.
The right scope is provided by the user.
The calling scheme for MBED-OR-LEFT is:
(MBED-OR-LEFT LGWFF RGWFF)
The result is of type GWFF0.
The arguments have the following meaning:
LGWFF : Left scope of OR
RGWFF : Right scope of OR
TPS documentation homepage