Following the plan in Table 2, each constraint type can be converted in an equivalent form E q [φ(X, Y )] = b, compatible with PR.
each of these constraint types in our vocabulary can be expressed as equations about expectation values of joint indicator functions of label assignments to instances and their attributes.