SATISFIED

From ASCEND

The SATISFIED keyword is used to create boolean values from real-valued relations, by returning TRUE if the relation is satisfied, and FALSE if not. The statement requires that a tolerance value be provided:

b1 IS_A boolean_var;
CONDITIONAL
   myrel: a > b;
END CONDITIONAL;
b1 = SATISFIED(myrel, 1e-8);