condition may be any backward chaining goal. If not is used in a forward chaining pre-condition, condition may only contain expressions normally allowed in forward chaining pre-conditions (object base references and lisp tests).
Description
The not goal succeeds if the conditions contained within fail.
