1domain: "{ S[a, i1, i2] : 0 <= a <= 9 and -1 + a <= 2i1 <= a and -3 + a <= 4i2 <= a }" 2child: 3 schedule: "[{ S[a, i1, i2] -> [(a)] }]" 4 permutable: 1 5 coincident: [ 1 ] 6