 For example, suppose that \(X\) is a set of assignments over the three variables \(x_1\), \(x_2\) and \(y\), where \(x_1\) represents the nationality of a candidate to a position, \(x_2\) represents their score (according to a suitable evaluation method) and \(y\) represents whether they were accepted or rejected. Then the atom \(\eqord(x_2, y)\) corresponds to the statement that the offer is determined by the score alone: if two candidates have the same score they will receive exactly the same offer, regardless of any other factor. A special case of dependence atom is given by the constancy atoms \(\eqord(y)\), which—as per the above semantics—are satisfied by a team if and only if all of its assignments agree over the value of \(y\).