A Constraint is satisfied when the combined values of the Attributes on each side satisfy the [Operator] of comparison that is in effect for the Constraint. Comparisons are handled in this way:

• Attributes with numeric values can be compared using any of the operators
• Attributes with string values can only be compared using = (equal to) or != (not equal to)
• Attributes with Boolean values can be compared (T-T), (F-F), (T-F), and (F-T)