This is used to add expressions to an existing formula.
Table of Contents
Negate
The expressions of the current formulas are converted into a single argument for the negation function. This allows complex expressions to be negated.
Takeover in logical operation
The expressions of the current formulas are converted into the first argument of a logical comparison.
Use as specification
The expressions in the current formulas are converted into the check condition of the conditional expression function.