As mentioned above, the tuples belonging to the relation are defined by a Presburger formula. This formula is built from constraints using the operations described in Figure 4.

Figure 4: Presburger formula syntax