Constraints are constructed by queries based on the arguments to add_constraint, or a similar method (such as where). Ternary constraints constrain the identities of objects, for which there is as present one operator: LOOKUP.