they allow for expressions to be defined such that a relationship only exists if the expression evaluates to

true