Let x {Rij ,r,Ei,e1} be a {0, 1}-variable indicating whether relation R ij is assigned label r and its first argument, E i , is assigned label e 1 .
we use: Similarly, we use d 2 to force the consistency of the second argument of a relation.