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