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